Получение адреса факта

Иногда в правой части правила может понадобиться удалить из списка фактов факт, приведший к активизации правила (т. е. факт сопоставленных одному из образцов, указанных в левой части правила). Чтобы присвоить переменной адрес факта, сопоставленного образцу, имя этой переменной записывают перед образцом, отделяя от последнего стрелкой влево. Пример:

CLIPS> (clear)

CLIPS> (deffacts strings

(string "Строка 1")

(string "Строка 2")

(string "Строка 3"))

CLIPS> (defrule print-string

(string?s)

?f <- (printing)

=>;

(printout t?s crlf)

(retract?f))

CLIPS> (reset)

CLIPS> (assert (printing))

<Fact-4>

CLIPS> (agenda)

0 print-string: f-1,f-4

0 print-string: f-2,f-4

0 print-string: f-3,f-4

For a total of 3 activations.

CLIPS> (watch facts)

CLIPS> (watch activations)

CLIPS> (run)

Строка 1

<== f-4 (printing)

<== Activation 0 print-string: f-2,f-4

<== Activation 0 print-string: f-3,f-4

CLIPS> (agenda)

Сложные условия

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

· and — конъюнкция. Параметры должны быть условными элементами. Количество параметров может быть любым. Конъюнкция обычно используется в качестве вложенного элемента, поскольку простое перечисление нескольких условных элементов в левой части правила, в сущности, задает неявную конъюнкцию;

· or — дизъюнкция. Параметры такие же, как у конъюнкции. В пределах дизъюнкции может быть несколько присваиваний значения одной переменной, если эти присваивания находятся в различных элементах дизъюнкции. Если такую переменную необходимо использовать за пределами дизъюнкции, то каждый элемент дизъюнкции должен содержать присваивание значения этой переменной;

· not — отрицание. Единственным параметром должен быть условный элемент. Если в отрицаемом элементе содержится присвоение переменной, то использовать эту переменную можно только в пределах этого элемента;

· test — тест. Параметром должен быть вызов функции (т. е. команда). Условный элементы выполняется в том случае, когда функция возвращает любое значение кроме символа FALSE. Часто в элементе test используют функции сравнения, например =, <>, <, <=, >, >=, eq, neq, evenp, oddp, and, or, not.

Пример:

CLIPS> (deffacts doors

(door room-a room-b) (door room-a room-c)

(door room-b room-d)

(door room-c room-d)

(door room-d room-e)

(door room-e room-f) (door room-e room-g)

(door room-f room-h)

(door room-g room-h))

CLIPS> (defrule add-origin-room

(origin-room?r)

=>;

(assert (reachable-room FALSE?r 0)))

CLIPS> (defrule add-nonvisited-room

(reachable-room??r1?n1)

(or (door?r1?r2) (door?r2?r1))

(not (reachable-room??r2?))

=>;

(assert (reachable-room?r1?r2 (+?n1 1))))

CLIPS> (defrule update-visited-room

(reachable-room??r1?n1)

(or (door?r1?r2) (door?r2?r1))

?f <- (reachable-room??r2?n2)

(test (< (+?n1 1)?n2))

=>;

(retract?f)

(assert (reachable-room?r1?r2 (+?n1 1))))

CLIPS> (defrule add-last-path-element

(declare (salience -1))

(target-room?r2)

(reachable-room?r1?r2?)

=>;

(assert (path-element?r1?r2)))

CLIPS> (defrule add-previous-path-element

(path-element?r2?)

(reachable-room?r1?r2?)

=>;

(assert (path-element?r1?r2)))

CLIPS> (defrule print-first-path-element

(path-element FALSE?r2)

=>;

(printout t?r2)

(assert (printed?r2)))

CLIPS> (defrule print-next-path-element

(printed?r1)

(path-element?r1?r2)

=>;

(printout t " -> "?r2)

(assert (printed?r2)))

CLIPS> (defrule complete-path-printing

(target-room?r2)

(printed?r2)

=>;

(printout t crlf))

CLIPS> (reset)

CLIPS> (assert (origin-room room-b))

<Fact-10>

CLIPS> (assert (target-room room-g))

<Fact-11>

CLIPS> (run)

room-b -> room-d -> room-e -> room-g

Примечание: declare — это не образец, а директива, использующаяся для задания приоритета (salience) правила. Правила всегда выполняются в порядке убывания приоритета. По умолчанию приоритет равен 0.

Правила-3