Раздел предложений (clauses).

Предложение - это либо факт, либо правило, соответствующее одному из

объявленных предикатов. Вообще говоря, предложение состоит либо из (1)

факта, либо из (2) заголовка предложения, за которым следует сперва двое-

точие с дефисом (:-), а затем список вызовов предикатов, разделенных за-

пятыми или точками с запятой. И факты, и правила должны заканчиваться

точкой (.) - иногда понимаемой как "полный стоп".

Факт

same_league(ucla, usc).

состоит из имени предиката (same_league) и заключенного в скобки списка

аргументов (ucla, usc).

Также:

# Ключевое слово if может ставиться вместо двоеточия с дефисом

(:-).

# Ключевое слово and может ставиться вместо запятой (,).

# Ключевое слово or может ставиться вместо двоеточия (:).

Для совместимости с будущими версиями Турбо Пролога мы рекомендуем

ставить символы (:- ; и ,), а не ключевые слова.