Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 149 стр.

         ВОПРОС 2: "Является ли Lize родителем Pate 7"
                 ? -parent (lize, pate).
                 no
                 Цель недостижима»
         неудача.
         ВОПРОС 3: "Является ли Тот родителем Ben?"
         ? -parent( torn ,ben),
          No
          Цель недостижима, неудача, так как Ben не упоминается.
         ВОПРОС 4: "Кто является родителем Lize ?"
          ?-parent( X, lize).
          X=tom
         Цель достижима при X=tom, родителем Lize является Tom.
ВОПРОС 5: "Кто дети Bob'a ? "
?-parent(bob,X).
X=anna; X=pate;
No
Цель достижима при X=anna, X=pame, дета Bob'a - Anna, Pate.
Пролог-система выдает несколько ответов. К поиску нескольких ответов ее побуждает знак "; "
вводимый пользователем после получения очередного ответа.
          ВОПРОС 6: "Кто чей родитель ? "
          ?-parent(X,Y).
           X=pame
           Y=bob ;
           X=tom
           Y=bob
                …
         Цель достижима при Х=раmе и Y=bob, при X=tom и Y=bob и т.д,
         Раmе является родителем Тоm'а, Тот является родителем     Bob'a
и т.д.
          ВОПРОС 7: "Кто является родителем родителя Jhim'a ?"
           ?-parent(Y,Jhim),parent(X,Y)
          . X=bob
           Y=pate


                                                 149