и такое определение? Сможете ли



Упражнение

1. 6.    Рассмотрим другой вариант отношения предок:
    предок( X, Z) :-
           родитель( X, Z).
    предок( X, Z) :-
           родитель( Y, Z).
           предок( X, Y).
Верно ли и такое определение? Сможете ли Вы изменить диаграмму на Рисунок 1.7 таким образом, чтобы она соответствовала новому определению?
Посмотреть ответ




Упражнение

1. 7.    Постарайтесь понять, как пролог-система, используя программу, приведенную на Рисунок 1.8, выводит ответы на указанные ниже вопросы. Попытайтесь нарисовать соответствующие диаграммы вывода по типу тех, что изображены на Рисунок 1.9 -1.11. Будут ли встречаться возвраты при выводе ответов на какие-либо из этих вопросов?
    (a)        ?-   родитель( пам, боб).
    (b)        ?-  мать( пам, боб).
    (с)        ?-   родительродителя( пам, энн).
    (d)        ?-   родительродителя( боб, джим).
Посмотреть ответ



Содержание раздела