Clauses. книга(«Зарядка для хвоста», «Григории Остер»,1993,86)

книга(«Зарядка для хвоста», «Григории Остер»,1993,86).

книга(«Новая пародия», «Александра Хаут»,1993,72).

книга(«Верхний этаж», «Александр Власов»,1983,147).

книга(«Вини пух», «Аскандер Милн»,1992,201).

книга(«Сказка», «Джонни Радарри»,1992,206).

книга(«Нерв», «Владимир Высоцкий»,1990,206).

предпочтение(«Павел», «Павлов»,«Зарядка для хвоста»).

предпочтение(«Олег», «Сидоров», «Новая пародия»).

предпочтение(«Павел», «Павлов», «Сказка»).

предпочтение(«Олег», «Сидоров», «Новая пародия»).

предпочтение(«Ольга», «Тараканова»,«Зарядка для хвоста»).

запись_в_карточке(персона(имя_персоны(«Павел», «Павлов»,),адрес_персоны(16, «Жилина», «Тольятти»)), выбранная_книга(старая, «Новая пародия»)).

запись_в_карточке(персона(имя_персоны(«Олег», «Сидоров»),адрес_персоны(25, «Мира», «Самара»)), выбранная_книга(новая, «Верхний этаж»)).

запись_в_карточке(персона(имя_персоны(«Ольга», «Тараканова»),адрес_персоны(54, «Мира», «Самара»)), выбранная_книга(новая, «Верхний этаж»)).

Goal

запись_в_карточке(персона(имя_персоны(Имя_персоны,Фамилия_персоны),адрес_персоны(_,_,A)), выбранная_книга(«Верхний этаж»,_)),A<>"Тольятти".

Visual Prolog позволяет конструировать составные объекты на нескольких уровнях (рис 9).

Рис. 9. Древовидная структура «запись_в_карточке»