Упражнения.

1. Введите и запустите программу CH05EX06.PRO и исследуйте следующие

целевые утверждения:

a. father(X, Y).

b. everybody.

2. Измените тело правила, определяющего everybody, таким образом,

чтобы правило заканчивалось выражением write (удалите обращение к

fail). Теперь скомпилируйте и запустите программу, задавая everybody

в качестве вопроса по подсказке Goal:. Почему Турбо Пролог не нахо-

дит всех решений, как в случае вопроса father(X, Y)?

3. Перенесите обращение к fail в конец правила everybody. Опять за-

дайте вопрос everybody по подсказке Goal:. Почему решения для

everybody прерваны No ? В качестве ключа к разгадке добавьте

everybody вторым предложением к определению предиката everybody и

вновь исследуйте целевое утверждение.