 |
 |
 |
 |
|
 |
 |
134
Базы знаний на Прологе описываются наборами фактов и правил определения обобщенных
понятий над ними:
база знаний:
<данные>; <правила>;
Вопросы в языке Пролог служат запросами к базам данных и знаний, а также обращениями
к процедурам и программам. Примеры вопросов:
? мама (х,вова) ?
предок (х,вова)
6.2. Описания фактов
Факты в языке Пролог описываются в следующей форме:
факт:
<имя>(<арг>[,<арг> ...]);
Описание факта начинается с имени. В роли имен могут использоваться любые последова-
тельности букв и цифр, начинающиеся с буквы;
имя:
<буква>[<буква
цифра> ...]
Буквы могут быть выбраны из русского и латинского алфавитов.
После имени в описаниях фактов задается список аргументов, заключаемых в круглые
скобки. В конце описания каждого из фактов ставится точка с запятой.
В роли аргументов могут быть указаны любые слова, словосочетания и числа. Словосоче-
тание - это любая последовательность слов, соединенных знаком подчеркивания.
Словосочетание:
<слово>[<слово> ...]
Слова, как и имена, - это любые последовательности из букв и цифр, начинающиеся с букв:
слово:
<буква>[<буква><цифра> ...]
Числа в данной реализации Пролога - это только целые числа (отрицательные - со знаком
минус):
число:
[—]<цифра>[<цифра> ...]
Примеры записи чисел - 0, 1, +3, -25.
С е м а н т и к а : каждый факт в Прологе интерпретируется как некоторое истинное утвер-
ждение. Опираясь на эти утверждения, интерпретатор Пролога рассматривает различные вопросы
как утверждения, которые должны быть доказаны или опровергнуты исходя из имеющихся фактов
и правил.