0

我正在寻找一种基于否定条件删除事实的方法。例如，在创建以下事实之后：

CLIPS> 
(deffacts Cars
   (color red)
   (color green)
   (color yellow)
   (doors three)
   (doors five))
CLIPS>    
(defrule combinations
   (color ?color)
   (doors ?doors)
   =>
   (assert (car ?color ?doors)))
CLIPS> (reset)
CLIPS> (run)
CLIPS> (facts)
f-0     (initial-fact)
f-1     (color red)
f-2     (color green)
f-3     (color yellow)
f-4     (doors three)
f-5     (doors five)
f-6     (car red five)
f-7     (car green five)
f-8     (car yellow five)
f-9     (car red three)
f-10    (car green three)
f-11    (car yellow three)
For a total of 12 facts.
CLIPS>

我正在考虑使用以下声明删除一些事实：

(defrule clear
    ?q1  <- (car ?color~green five)
=>
    (retract ?q1 )
    (printout t "Cars cleared " ?q1 crlf)
)

这应该删除有五扇门且颜色不是绿色的汽车。因此应删除 ID f-6 和 f-8。并打印已删除的事实。

该语句不会给我一个错误，但如果我执行（运行）它不会收回或打印出该语句。我猜这个条件不对，但我不知道如何写这个否定条件。

谢谢

4

1 回答 1

0

我找到了如何正确编写代码：

(defrule clear
    ?q1  <- (car ~green five)
=>
    (retract ?q1 )
    (printout t "Cars cleared " ?q1 crlf)
)

希望它可以帮助某人

于 2016-09-24T11:06:10.723 回答