8387

Список активных правил.

Данный факт активизирует правило, не содержащее условий, и это правило будет помещено в список активных правил - Agenda. В этом окне показано, что в списке активных правил есть правило с именем startup и это правило было активизировано фактом с идентификатором f-0.

Запуск программы.

Очистка CLIPS

Если после выполнения программы необходимо очистить базу знаний CLIPS, а также убрать все факты из списка фактов, т.е. привести CLIPS в начальное состояние, то необходимо воспользоваться командой (clear)

Сохранение протокола работы

Для сохранения протокола работы программы, а также полученного ответа в текстовом файле необходимо сразу после запуска CLIPS выполнить команду Turn Dribble On.

Остановка записи протокола работы

После получения ответа, перед очисткой CLIPS выполните команду Turn Dribble Off. По этой команде файл, в который записывается содержимое главного диалогового окна CLIPS, будет закрыт.

Инструментальные средства логического программирования.

3.1.Язык логического программирования Пролог .

Пролог – это декларативный язык, в среде которого необходимо точно и грамотно на логическом языке описать условие задач, а ее выполнение – это результат работы некоторого рутинного процесса, выполняемого интерпретатором. Фрагменты Пролог-программы иногда называют базами знаний. Далее рассмотрение языка осуществляется для версии Турбо Пролог.

Пролог реализует управляющую структуру в виде обратной цепочки логического вывода, то есть доказательство от противного. Этим частично исключается монотонность.

Составляющие Пролог-программы.

В самом общем виде Пролог-программа может быть представлена как совокупность двух основных разделов.

Первый раздел содержит постановку задачи, т.е. описание ее условия в виде набора исходных данных, представленных в форме БД.

Второй раздел описывает алгоритм, т.е. порядок выполнения программы, и представляет собой совокупность утверждений (формул), содержащих факты, правила и вопросы, необходимые для достижения поставленной цели.

Таким образом, в структуре программы выделяются следующие виды утверждений: факты, вопросы (запросы) и правила.

Простейший вид утверждений Пролог-программы – это факт. Он констатирует наличие отношений между объектами или переменными. Отношение в программе называется предикатом.

Вопросы в Пролог-программе имеют тот же формат, что и факты. Их можно различить по контексту, расположению на экране в режиме отладки программы или по наличию знака «?» в начале или в конце утверждения (в зависимости от диалекта интерпретатора). Семантически вопрос в Пролог-программе определяет наличие того или иного отношения между объектами.

Пример вопроса в Пролог-программе.

Ищет(“Надя”, “улицу”).

Ищет(“Надя”, “дом”).

? Ищет(“Надя”, Х). Х = “дом”.