Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






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.

 

 
 

Рис. 7. Окно проекта

 

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):

 

решение: X= anna

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

 


Поделиться с друзьями:

mylektsii.su - Мои Лекции - 2015-2024 год. (0.006 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал