ИСПОЛЬЗОВАНИЕ В ЗАПРОСАХ АНОНИМНЫХ ПЕРЕМЕННЫХ

/* Программа 3.1 «Библиотека». Назначение: */

/* демонстрация одноуровневого */

/* составного объекта */

domains

/* персональная библиотека = книга (название, автор, издательство,год издания) */

personal_library = book(title, author,

publisher, year)

name, title, author, publisher = symbol

year = integer

predicates

/* коллекция (имя коллекционера, библиотека) */

collection(name,personal_library)

clauses

collection(kahn, book("The Computer and the Brain", "von Neumann", "Yale University Press",1958)).

collection(kahn, book("Symbolic Logic",
"Lewis Carroll", "Dower Publications", 1958)).

collection(johnson, book("Database: A Primer",
"C.J.Date", "Addison-Wesley", 1983)).

collection(johnson,
book("Problem-Solving Methods in AI", "Nils Nilsson",
"McGraw Hill", 1971)).

collection(smith, book("Alice in Wonderland", "Lewis Carroll", "The New American Library", 1960)).

collection(smith, book("Fables of Aesop",
"Aesop-Calder", "Dover Publications", 1967)).

/* Конец программы */

Данная программа использует внешнюю цель. Для того, чтобы узнать, какие книги принадлежат Смиту, необходимо ввести такое целевое утверждение:

collection(smith,Books).

Предположим теперь, что мы хотим знать имена владельцев и названия книг, напечатанных в 1967 году. Цель для поиска этой информации выглядит следующим образом:

collection(Collector,book(Title,_,_,1967)).

Здесь свободными переменными являются уже Collector и Title. Подчерки (_) указывают на то, что нас не интересуют объекты с типами author и publisher.

Задайте вопрос:

как зовут коллекционера, которому принадлежит книга «Database.A Primer."?

collection(Collector,book("Database:A Primer", _,_,_)).

Каковы названия книг, опубликованных после 1980 года?

collection(_,book(Title,_,_,Year)), Year > 1980.