Программирование на Турбо-Прологе - стр. 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       /* отцом Энн является Боб */.
     На все поставленные вопросы Пролог пытается ответить с помощью фактов и правил вывода. Он решает задачу, просматривая программу сверху вниз и слева направо. Сначала анализируется цель и ведется поиск такого факта или правила вывода, с помощью которого она может быть достигнута.

Содержание  Назад  Вперед