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

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

факт:

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

имя:

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

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

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

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

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

слово:

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

число:

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

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

Дата добавления: 2014-11-25