Логические термы

Пример.

Пример.

Пример.

Пример.

Основные разделы программы

Пример.

Пример.

нравится ("Лена", "хоккей").

нравится ("Лена", "теннис").

? нравится ("Лена", X).

X = "теннис".

Правила предназначены для вывода логического следствия на основе имеющейся БД. Правила в Пролог-программе записываются в виде конструкции, называемой резольвентой:

t ₁:- а ₁, а ₂,..., а _N., (2.3)

где t ₁ – подцель (теорема или промежуточная цель программы);

а ₁, а ₂, …, а _N – аксиомы, посредством которых достигается подцель;

:- – знак определения функции (читается: «определяется, как…»);

, – знак операции конъюнкции (логическое «и»);

. – обязательный знак окончания правила (резольвенты).

Дано: «все люди ошибаются», «Сократ – человек».

Первую фразу можно формализовать следующим образом: «для всех X, X ошибается, если X – человек».

Запишем исходные данные в терминах Пролог-программы:

failable (X):- person (X).

person (socrates).

Сформулируем запрос:

failable (socrates),

в результате получим ответ: yes.

Описание данных присутствует в двух основных разделах Пролог-программы, один из которых называется predicates (отношения), а другой – clauses (утверждения). В разделе predicates описываются предикаты, используемые в БД, с описанием их типа. Для определения основной цели программы служит ключевое слово goal. В раздел clauses заносятся факты и правила, известные априорно. О содержимом этого раздела можно говорить как о данных, необходимых для работы программы.

predicates

cat (integer)

food (symbol)

goal

some (goals).

clauses

cat (10).

food (whiskas).

Заполнение разделов программы

Такие разделы Пролог-программы как trace, project (название проекта) и include (внешний исходный файл) заполняется по желанию.

Раздел domains, объявляющий новые типы области данных, может быть заполнен по желанию или необходимости.

domains

man = symbol

time = symbol

Раздел database объявляет предикаты, которые по желанию можно добавлять или удалять.

database

work (man, time)

Раздел global predicates или predicates объявляет области определения каждого предиката или глобального предиката в обязательном порядке.

predicates

know (man, man)

work (man, time)

clauses /* текст программы */

work ("Петр", "днем").

work ("Иван", "днем").

know (A, B):- work (X, S), work (Y, S), X < > Y.

goal

know (A, B). /* цель может быть задана по желанию */

Предикаты в Пролог-программе могут быть системными и пользовательскими, т.е. созданными разработчиком программы.

Совокупность синтаксических структур в Пролог-программе называется логическими термами. Термы могут иметь простую или сложную структуры.

Константы в Пролог-программе могут быть числом или атомом. Атом представляет собой последовательность строчных и прописных символов, цифр и специальных знаков, которая обязательно начинается со строчной буквы. Если атом в программе начинается с прописной буквы, то его заключают в апострофы (двойные кавычки).

Дата добавления: 2014-12-29