Book (M, P),

P> 350.

Получим ответ

M=mziri, P=370

Solution

Рассмотрим пример: Показать читателей, читающих толстые книги (количество страниц которых более 350).

Written_by (Autor, Title),

Book (Title, Pages),

Pages> 350.

Получим ответ

Autor=lermontov, Title=mziri, Pages=370

Solution

Рис. 7. Алгоритм работы программы (обратный вывод поиск в глубину)

Задание

Задача: спланировать турнир между девятилетними членами команды. Каждая пара игроков должна провести между собой две игры. Необходимо спланировать все возможные пары членов клуба, возраст которых 9 лет.

Создание программы

1. Запустить среду визуальной разработки Visual Prolog.

2. Создать новое окно редактирования File/New.

Domains

child = symbol

age = integer

Predicates

Player (child, age)

Clauses

Player (liz, 9).

Player (nik, 9).

Player (don, 10).

Player (sani, 9).

Goal

Player (Person1, 9),

Player (Person2, 9),

Person1< > Person2.

3. Запустить программу для выполнения запроса (меню Project/ Test Goal).

Получим ответ:

Person1=liz, Person2=nik

Person1=liz, Person2=sani

Person1=nik, Person2=liz

Person1=nik, Person2=sani

Person1=sani, Person2=liz

Person1=sani, Person2=nik

Solutions

4. Сохранить файл с именем lab4.

Использование отладчика приложения (Debugger)

5. Запустить отладчик приложения (меню Project/Debug).

6. В появившемся окне отладчика, выбрать команду меню View/Local Variables. Стрелка указывает строку выполнения программы.

7. Нажатием горячей клавиши F7 или пунктом меню отладчика Run/Trace Into просмотреть работу Visual Prologпри выполнении запроса.

8. На основе наблюдений составить дерево целей и алгоритм работы программы.

Вопросы для самоконтроля

1. Перечислите правила используемые для сопоставления.

2. Дайте трактовку понятию унификация.

3. Перечислите основные принципы работы механизма поиска с возвратом в Visual Prolog.

4. Описать правила создания целевого дерева.

5. Описать правила построения алгоритма работы программы.

Лабораторная работа «Управление поиском решения»

Тема: Управление поиском решения.

Цель работы: изучить методы управления поиском решения в Visual Prolog.