Определение 16.28. Команда show-breaks

(show-breaks [<имя-модуля>])

С помощью необязательного параметра <имя-модуля> можно указать имя конкретного модуля, и в этом случае команда будет выводить только прави­ла, определенные в заданном модуле. Если в качестве данного параметра использовать *, то команда отобразит правила с определенными точками останова во всех модулях системы. Если параметр <имя-модуля> не задан, в диалоговое окно системы будут выведены правила, определенные в теку­щем модуле.

Команда refresh предназначена для помещения всех текущих активаций заданного правила в план решения задачи.

Определение 16.29. Команда refresh

(refresh <имя-правила>)

Команды set-incremental-reset и get-incremental-reset служат для установки и проверки режима обновления правил (incremental reset behavior mode). Если данный режим включен, что является установкой по умолчанию, то только что добавленные правила будут обновляться согласно текущему со­стоянию списка фактов системы. Если данный режим отключен, только что добавленные правила будут обновляться только фактами, добавленными после определения правила. Команда set-incremental-reset использует заданное логическое выражение для установки текущего значения режима обновления правил и возвращает предыдущее установленное значение. Команда get-incremental-reset выводит в диалоговое окно системы текущее установленное значение режима обновления правил (true — включен, false — выключен). Синтаксис этих команд приведен ниже.

Определение 16.30. Команды set-incremental-reset и get-incremental-reset

(set-incremental-reset <логическое-выражение>)

(get-incremental-reset)

Изменение режима добавления правил допускается только, если в системе еще не определен ни один конструктор defrule.

Команда dependencies определяет набор данных, от которых заданный обра­зец (факт или объект) получил логическую поддержку (см. разд. 6.5.8).

Определение 16.31. Команда dependencies

(dependencies <спецификатор-факта-или-объекта>)

Под спецификатором факта или объекта в данном случае понимается не только индекс факта или имя объекта, но и переменная, связанная с неко­торым фактом или объектом в левой части правила. Таким образом, dependencies является одной из немногих команд, которые разрешается использо­вать при определении правой части правил.

В отличие от dependencies, команда dependents определяет набор данных, которые получили логическую поддержку от заданного образца.