 |
 |
 |
 |
|
 |
 |
171
Для этого вместо конкретных значений или имен переменных в вопросе указывается знак
подчеркивания [ _ ].
Пример вопроса с использованием неопределенных значений:
? мама (мать', _ );
Ответом на указанный вопрос будет перечень имен всех матерей, сведения о которых имеются в базе
знаний.
6.4. Запись правил и процедур
Правила в Прологе используются для описания определений, запросов к базам данных, а также
обращений к другим правилам и процедурам. Примеры записи правил:
родитель (х,у)
<
мама (х,у);
родитель (х,у)
<
папа (х,у);
бабушка (x,z)
<
мама (х,у), родитель
(y,z);
дедушка (x,z)
<
папа (х,у), родитель
(y,z);
Общая форма записи правил на Прологе:
правило:
Здесь <заголовок> отделяется от <определения> двумя знаками:
< «меньше» и «тире». В конце
правила записывается «точка с запятой».
Заголовки правил имеют следующую форму:
заголовок:
Здесь <имя> — это любое слово или словосочетание. В роли параметров в заголовках правил могут
указываться переменные или конкретные значения либо неопределенные значения с помощью знака
подчеркивания [ _ ].
Описание заголовка служит образцом записи обращений к правилам и процедурам. Определения в
правилах образуются из обращений к другим правилам и процедурам, а также из запросов к данным и
встроенным процедурам Пролога. Общая форма записи определений в правилах:
определение:
Запросы и определения отделяются в описаниях правил запятыми и записываются по тем же
правилам, что и заголовки.
Порядок записи обращений и запросов в определениях правил в языке Пролог весьма существен,
поскольку он задает порядок их применения и выполнения. Нарушение этого порядка может привести к
значительному изменению конечных результатов выполнения правил и процедур.
Результатом выполнения любых процедур и правил в Прологе всегда являются логические значения
—
ДА либо НЕТ, соответствующие успеху или неуспеху их применения. В этом смысле применение