Пример 6.41. Правило all-students-passed

Условный элемент logical предоставляет механизм поддержки достоверно­сти для созданных правилом данных (фактов или объектов), удовлетворяю­щих образцам. Данные, созданные в правой части правила, могут иметь ло­гическую зависимость от данных, удовлетворивших образцы в левой части правила. Такая зависимость называется логической поддержкой. Данные могут зависеть от группы данных или нескольких групп данных, удовлетво­ривших одно или несколько правил. Если удаляются данные, которые под­держивают некоторые другие данные, то зависимые данные также автома­тически удаляются.

Если некоторые данные созданы без логической поддержки (например, с помощью конструкторов deffacts, definstance или командыassert, введенной пользователем или вызванной в правой части правила), то считает­ся, что они имеют безусловную поддержку. Безусловная поддержка удаляет все присутствующие в данный момент условные поддержки этих данных (но не удаляет сами данные). Дальнейшая логическая поддержка для данных с безусловной поддержкой игнорируется. Удаление правила, которое вызва­ло логическую поддержку для данных, удаляет логическую поддержку, сгенерированную этим правилом (но не удаляет данные, если у них еще есть логическая поддержка, сгенерированная другим правилом).

Определение 6.23. Синтаксис условного элементаlogical

<условный-элемент-1од!са1> ::= (logical <условный-элемент>+)

Условный элемент logical группирует образцы, так же как это делает and. Данное свойство можно использовать при объединении элементов and, or и not. Однако только первые п образцов правила могут использоваться в условном элементе logical. Например, следующее правило записано верно:

Пример 6.42. Правильный вариант использования условного элемента logical

(defrule ok

(logical (a))

(logical (b))

(c)

=>

(assert (d)))

А такое объявление правил недопустимо:

Пример 6.43. Неправильные варианты использования условного элемента logical

(defrule not-ok-1

(logical (a))

(b)

(logical (с))

=>

(assert (d)))

(defrule not-ok-2

(a)

(logical (b))

(logical (c))

=>

(assert (d)))

(defrule not-ok-3

(or (a)

(logical (b)))

(logical (c))

=>

(assert (d)))

Рассмотрим следующий пример. Включите просмотр списка фактов с по­мощью пункта Facts Windowменю Windows,это поможет следить за тем, что происходит в момент выполнения программы.