Ключевое слово Пролога "if" и "if" в других языках

Правила Пролога используют ключевое слово "if" (или знак ":-"), од-

нако Пролог'овский "if" отличается от "IF", написанного в других языках.

В Паскале, например, условие, содержащееся в операторе IF, должно

быть указано перед телом оператора, который может быть выполнен; другими

словами:

"если ЗАГОЛОВОК истиннен, тогда ТЕЛО истинно (или:

тогда выполнить ТЕЛО)"

Данный тип оператора известен как условный оператор if/then.

Пролог же, с другой стороны, использует другую форму логики в таких

правилах. Вывод об истинности заголовка правила Пролога делается, если

(после) тело этого правила - истинно; другими словами:

"ЗАГОЛОВОК истиннен, если ТЕЛО - истинно (or: если ТЕЛО

может быть выполнено).

Сообразуясь со сказанным, правило Пролога соответствует условной

форме then/if.