DOMAINS. отдыхает(sasha, antalia).

имя, город = string

PREDICATES

отдыхает(имя, город)

украина(город)

россия(город)

прибалтика(город)

отдых_россия(имя)

CLAUSES

отдыхает(sasha, antalia).

отдыхает(anna, sochi).

отдыхает(dima, urmala).

отдыхает(oleg, kiev).

украина(kiev).

россия(sochi).

прибалтика(urmala).

отдых_россия(X): - отдыхает(X, Y), россия(Y).

GOAL

отдых_россия(X), write(X), nl.

14. Сохраните проект (Project | Save Project).

15. Запустите его на исполнение (Project | Run, или клавиша < F9>, или кнопка < R>).

Результат выполнения программы:

anna

16. Проследите поиск этого решения с помощью отладчика (Debugger) (рис. 8). Для этого:

а) запустите отладчик (Project | Debug);

б) в окне отладчика выберите команду View | Local Variables (для просмотра текущих значений переменных);

в) нажимайте клавишу < F7> (или Run | Trace Into) для пошагового выполнения программы, текущие значения переменных отображаются в окне Variables For Current Clause.

Рис. 8. Окно отладчика

Поиск решения можно представить следующим образом (рис. 9):

Рис. 9. Целевое дерево поиска решения