Описания фактов

Факты в языке Пролог описываются в следующей форме:

факт:

<имя>(<арг>[,<арг>...]);

Описание факта начинается с имени. В роли имен могут исполь­зоваться любые последовательности букв и цифр, начинающиеся с буквы;

имя:

<буква>[<буква><цифра>...]

Буквы могут быть выбраны из русского и латинского алфавитов.

После имени в описаниях фактов задается список аргументов, заключаемых в круглые скобки. В конце описания каждого из фак­тов ставится точка с запятой.

В роли аргументов могут быть указаны любые слова, словосоче­тания и числа. Словосочетание - это любая последовательность слов, соединенных знаком подчеркивания.

Словосочетание:

<слово>[<слово>...]

Слова, как и имена, - это любые последовательности из букв и цифр, начинающиеся с букв:

слово:

<буква>[<буква><цифра>...]

Числа в данной реализации Пролога - это только целые числа (отрицательные - со знаком минус):

число:

[—]<цифра>[<цифра>...]

Примеры записи чисел - 0, 1, +3, -25.

С е м а н т и к а: каждый факт в Прологе интерпретируется как некоторое истинное утверждение. Опираясь на эти утверждения, интерпретатор Пролога рассматривает различные вопросы как утверждения, которые должны быть доказаны или опровергнуты исходя из имеющихся фактов и правил.

Поиск по сайту: