Помимо фактов база данным может содержать факты. Правило отличается от факта тем, что связывается наличие отношения между объектами с выполнением некоторого условия, представленного целью или конъюнкцией целей. Другое отличие состоит в том, что правило обычно выражает не частные случаи, а общие закономерности. Приведем пример:
likes(bill, X):- prefers(X, wine).
Здесь условие состоит из единственной цели prefers(X, wine). Данное правило соответствует предложению "Bill likes anybody, provided (if) she prefers a wine". В отличие фактов likes, данное правило охватывает не одну пару объектов, а (потенциально) множество таких пар (в данном случае две пары).
Выполним следующие запросы:
?- likes(bill, jane).
true.
?- likes(X, jane).
X = bill; false.
Если при попытке удовлетворить цель Пролог встречает не факт, а правило, то Пролог запоминает текущее положение в базе данных и переходит удовлетворению целей этого правила так, как если бы они были запросом. Если исходная цель содержала переменные, то эти переменные будут связаны в ходе удовлетворения целей, перечисленных в правиле. Связывание переменных, указанных в запросе, с переменными, указанными правиле происходит по порядку, а не по имени (…).
В базе данных Пролога один и тот же предикат может определяться как фактами, так и правила, причем правил, как и факторов, может быть несколько. Строго говоря, разделение на факты и правила искусственное (и преследует учебные цели); с точки зрения Пролога факт — это правило с пустым (т. е. всегда выполняющимся) условием. Вместе факты и правила часто называются предложениями.
Добавим в базу данных следующие правила.
likes(kate, X):- likes(jane, X), likes(mary, X).
is_happy(X):- likes(X, Y), likes(Y, X).
Рассмотрим выполнение следующих запросов
?- likes(X, john).
X = jane; X = alice; X = mary; X = kate.
?- is_happy(X).
X = john; X = mary; false.
?- is_happy(X), prefers(X, Y).
X = mary, Y = wine; false.
Более подробно
Термы
Программа на Прологе — это набор термов. Термы:
· константы:
o атомы;
o числа;
· переменные;
· структуры (составные термы).
Атомы можно записывать как:
· последовательность букв и цифр, начиная с буквы в нижнем регистре, например…;
· последовательность символов + - * / \ ~ < >:.? @ # $ &, например…;
· последовательность произвольных символов, заключенных в одинарные кавычки. Отметим, что 'mary' — это то же самое, что mary, а '--->' — то же самое, что --->.
Числа могут иметь знак, десятичную точку и экспоненту, например….
Переменные записываются как последовательность букв и цифр, начиная с буквы в верхнем регистре.
Структура состоит из функтора и компонентов (сначала функтор, потом компоненты в круглых скобках через запятую). Функтор — атом, а каждый из компонентов — произвольный терм (в т. ч. структура). Примеры:
likes(john, mary)
beliefs(alice, likes(john, mary))
knows(jane, beliefs(alice, likes(john, mary)))
birth_date(john, date(1980, 6, 15))
+(1, 2)
*(+(1, 2), +(3, 4))
