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