В моем файле CLIPS есть следующее правило:
(defrule check-final (declare (salience 12))
?scnt <- (set-count (value ?v) (class ?c))
(test (= ?v ?*total*))
=>
(printout T ?*total* " == " ?v crlf)
)
И я получаю следующий странный вывод:
CLIPS>(run)
14 == 9
5 == 2
Как это возможно ????
Сопоставление с образцом для этого правила происходит всякий раз, когда утверждается или изменяется факт set-count. Правило активируется через некоторое время после вызова run. Эти два процесса можно сильно разделить во времени. Значение ?*v*, конечно, может измениться в течение этого длительного периода времени.
Ключ состоит в том, чтобы понять, что напечатанные результаты будут отражать значение ?v из эпохи, в течение которой произошло сопоставление с образцом, а ?*total* будет значением, когда результаты будут напечатаны. Поскольку ?*total*, возможно, видел произвольные изменения с момента сопоставления с образцом, нет гарантии, что он будет равен ?v, когда правило действительно сработает.
Обнаружена часть проблемы: я использую глобальный ?*total* и в соответствии с Руководством по CLIPS
Доступ к глобальным переменным можно получить как часть процесса сопоставления с образцом, но их изменение не вызывает процесс сопоставления с образцом.
Но это не объясняет провал теста на равенство.
Наиболее вероятное объяснение состоит в том, что в какой-то момент проверка на равенство выполняется, а затем значение global изменяется до выполнения правила.
CLIPS> (deftemplate set-count (slot value) (slot class))
CLIPS>
(defglobal ?*total* = 0)
CLIPS>
(defrule check-final (declare (salience 12))
?scnt <- (set-count (value ?v) (class ?c))
(test (= ?v ?*total*))
=>
(printout T ?*total* " == " ?v crlf)
)
CLIPS> (bind ?*total* 9)
9
CLIPS> (assert (set-count (value 9) (class a)))
<Fact-1>
CLIPS> (bind ?*total* 14)
14
CLIPS> (run)
14 == 9
CLIPS> (bind ?*total* 2)
2
CLIPS> (assert (set-count (value 2) (class b)))
<Fact-2>
CLIPS> (bind ?*total* 5)
5
CLIPS> (run)
5 == 2
CLIPS>
