С помощью отношений, которые составляют начальную базу знаний, можно конструировать более сложные и более общие отношения. Например, с помощью отношений 'мясо' и 'рыба', выражающих то, что их аргумент является вторым мясным или рыбным блюдом, можно определить отношение 'блюдо': "Блюдо - это второе мясное или рыбное блюдо", что записывается на Прологе в виде двух правил следующим образом:
'блюдо'(Y):-'мясо'(Y).
'блюдо'(Y):-'рыба'(Y).
и читается так: "Y является блюдом, если Y - второе мясное блюдо, или Y является блюдом, если Y - второе рыбное блюдо". Последовательность двух правил означает их дизъюнкцию (операцию "или": первое правило или второе). Область действия переменной ограничена правилом, в котором она определена. Поэтому переменная из первого правила никак не связана с переменной Y из второго. Вопрос "Что является блюдом?", выраженный в виде:
?-'блюдо'(X).
вызовет следующие ответы:
Y='говяжье_жаркое'->;
Y='цыпленок_в_липовом_цвете'->;
. . .
Y='окунь_во_фритюре'->;
Y='фаршированный_судак'->;
no
?-
Можно построить и более сложные правила. Займемся теперь составлением обеда, в который входят закуска, второе блюдо (мясное или рыбное) и десерт. Обед является, следовательно, тройкой (X,Y,Z), где X - закуска, Y - блюдо, Z- десерт. В Прологе это выражается очень естественно в виде следующего правила:
/* Определение отношения "обед" */
'обед'(X,Y,Z):-'закуска'(X),'блюдо'(Y),'десерт'(Z).
Оно читается так: "X,Y,Z удовлетворяют отношению 'обед', если X удовлетворяет отношению 'закуска', Y удовлетворяет отношению 'блюдо' и Z удовлетворяет отношению 'десерт'. Формально говоря, мы определили новое отношение как конъюнкцию (операцию 'И') трех других отношений, как конъюнкцию предикатов.
На вопрос "Что является обедом?":
?-'обед'(X,Y,Z).
интерпретатор ответит:
X='артишоки в белом соусе'
Y='говяжье жаркое'
Z='грушевое мороженое'->;
X='артишоки в белом соусе'
Y='говяжье жаркое'
Z='земляника со взбитыми сливками'->;
...................................
no
?-
(т.е. выдаст список всех 36 возможных комбинаций из трех блюд. Попробуйте это выполнить).
Правила описывают зависимость некоторого отношения от группы других отношений (зависимость предиката от группы других предикатов), называемых условиями (или целевыми утверждениями). Правило соответствует условному высказыванию (импликации) и имеет следующую синтаксическую структуру:
Правило состоит из заголовка и тела правила. Заголовок и тело соединяются с помощью символа ":-", соответствующего в русском языке слову "если". Правила также заканчиваются точкой. Заголовок правила описывает отношение, для определения которого предназначено правило. Тело правила представляет собой конъюнкцию предикатов (целевых утверждений), которые должны быть последовательно согласованы с базой знаний для того, чтобы заголовок правила был истинным. Предикаты (цели) в теле правила разделяются запятыми. Правило - это некоторое общее утверждение. Оно описывает закономерность, свойственную не какому-то конкретному объекту, а целому классу объектов. Поэтому в аргументы правил входят переменные. Правило можно рассматривать как отношение разбиения сложной задачи (цели) на более простые подзадачи (подцели).
Примеры правил:
'любит'(X,'баскетбол'):-'любит(X,'бег').
/* X любит баскетбол, если X любит бегать */
'можно купить'(X):-'есть в магазине'(X,V),V<3000.
/* можно купить X, если X есть в магазине и стоит меньше 3000р. */
'старше'(P1,P2):- 'возраст'(P1,V1),
'возраст'(P2,V2),
V1>V2.
/*субъект P1 старше субъекта P2,если его возраст больше возраста P2*/
|