Программирование на Турбо-Прологе - стр. 2
1.3.Основные понятия языка Турбо-Пролог
Турбо-Пролог - это декларативный язык, программы на котором содержат объявления логических взаимосвязей, необходимых для решения задачи.В Турбо_Прологе рассматриваются отношения между утверждениями и объектами, характерные для логики предикатов.
В программах на Прологе существует три типа предложений (clauses): факт, правило вывода, цель.Каждое предложение должно заканчиваться точкой. Факт - утверждение, истинность которого безусловна.Например,
likes(mary,apples). /* Мэри любит яблоки */
или
male(bob) /* Боб - мужчина */
parent(bob,ann). /* Боб - родитель Энн */
Правило - утверждение, зависящее от условий.Например,
child(ann,bob) :- parent(bob,ann). /* Энн - дитя Боба,
если Боб - родитель Энн */
или
father(X,Y) :-parent(X,Y),male(X )./* Для всех X и Y
X является отцом Y,если
X является родителем Y и
X - мужчина */
Цель - вопрос пользователя к системе о том, какие утверждения являются истинными.
Для указанных выше примеров на вопрос
child(ann,bob) /* является ли Энн ребенком Боба ?*/
будет выдан ответ
true /* истина */,
а на вопрос
father(X,ann) /* кто является отцом Энн ? */
будет выдан ответ
X = Bob /* отцом Энн является Боб */.
На все поставленные вопросы Пролог пытается ответить с помощью фактов и правил вывода. Он решает задачу, просматривая программу сверху вниз и слева направо. Сначала анализируется цель и ведется поиск такого факта или правила вывода, с помощью которого она может быть достигнута.
Содержание Назад Вперед