Программа на Прологе представляет собой совокупность утверждений. Утверждения состоят из целей и хранятся в базе данных Пролога. Таким образом, база данных Пролога может рассматриваться как программа на Прологе. В конце утверждения ставится точка “.”. Иногда утверждение называется предложением.
Основная операция Пролога - доказательство целей, входящих в утверждение.
Существуют два типа утверждений:
• факт: это одиночная цель, которая, безусловно, истинна;
• правило: состоит из одной головной цели и одной или более хвостовых целей, которые истинны при некоторых условиях.
Правило обычно имеет несколько хвостовых целей в форме конъюнкции целей.
Таким образом, правило согласовано, если согласованы все его хвостовые цели.
Примеры фактов:
собрание(собрание_38).
параметры_собрания (место_проведения, время_проведения).
служащий (Иван).
Примеры правил:
руководитель (X) :- руководство (X,Y), служащий (Y).
человек (Х) :- служащий (Х).
Разница между правилами и фактами чисто семантическая. Хотя для правил мы используем синтаксис операторов (более подробное рассмотрение операторного и процедурного синтаксисов выходит за рамки пособия), нет никакого синтаксического различия между правилом и фактом. |
Главная
Каталог файлов
