Программирование на Турбо-Прологе

             

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


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