Окно интерпретатора (KAL Interpreter)

Редактор цели (Goal Editor)

Позволяет создавать и редактировать цели (рис. 6.9).

Рис. 6.9. Окно редактора цели

Окно редактора содержит стандартное меню (Update, Edit и Options) и два редактируемых поля (Body и Comment).

Поле Body (тело цели) должно содержать KAL-выражение, определяющее заключение, которое использует механизм рассуждений при попытке проверить, достигнута ли эта цель.

В окне интерпретатора можно выполнить любую корректную функцию, что позволяет быстро проверить правильность ее написания и работы. Находясь в любом окне ЭО KAPPA, где доступно использование выражений в KAL-коде, нажатие правой кнопки мыши активизирует всплывающее меню, с помощью которого можно оперативно выбрать необходимую из имеющихся функций, а также нужный элемент знаний: класс, объект, правило или цель.

Функции разделены на следующие группы:

· манипулирования элементами знаний − Knowledge;

· математические − Math;

· работы со строками − String;

· работы с групповыми объектами и сетями объектов − Lists;

· логические − Logical;

· работы с файлами − File;

· управления рассуждением и взаимодействием с ОС − Control;

· работы с окнами KAPPA и объектами интерфейса − Windows;

· функции, определенные пользователем, − User Functions.

При выборе той или иной группы функций на экране появляется окно Select Command, содержащее список функций указанной группы, а при активации пункта меню All Functions − полный список всех функций, имеющихся в ЭО. При выделении щелчком мыши одной из функций внизу окна появляется формат ее написания и список аргументов.

KAL-интерпретатор имеет свое меню, содержащее пункты File и Edit. Пункт File содержит только один пункт – Save, позволяющий сохранить содержимое окна в файле. Кроме стандартных пунктов в подменю Edit имеются еще два пункта: очистки окна – Clear Window и проверки синтаксиса – Check Syntax. Следует помнить, что интерпретатор ограничивает содержимое окна 10-ю страницами текста и в случае необходимости автоматически удаляет лишнее.

Дата добавления: 2014-12-29