Как правильно использовать состояние CLIPS?

Question

Вот мой код

(deffacts startup       

       (bird canary) 
       (colour-canary yellow) 

       (bird ostrich) 
       (can-not-fly ostrich) 

) 
(defrule r-bird-test 
    (bird ?var) 
    (not (bird ostrich)) 
    => 
    (printout t ?var " ****" crlf) 
) 

Теперь, когда я (сброс) и (запуск) не печатает "канарейку ****". Неужели я неправильно использую условие not? Может ли кто-нибудь указать, чего я здесь не хватает? Благодарю.

Answer 1

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

CLIPS> 
(deffacts startup 
    (bird canary) 
    (colour-canary yellow) 
    (bird ostrich) 
    (can-not-fly ostrich)) 
CLIPS> 
(defrule r-bird-test 
    (bird ?var&~ostrich) 
    => 
    (printout t ?var " ****" crlf)) 
CLIPS> (reset) 
CLIPS> (run) 
canary **** 
CLIPS>