logic - 如何在CLIPS中进行两组的补差运算？

Question

我需要在两组之间进行补差运算。我有一个例子，要在两组之间进行联合，我可以重用这段代码来进行这两个其他操作。

谢谢

标签： logicclips

Answer 1

我的工会示例是：

(deffacts datos-iniciales
(conjunto B C A D E E B C E)
(conjunto E E B F D E))

(defrule inicio
=>
(assert (union)))
(defrule union
?h <- (union $?u)
(conjunto ? $? ?e $?)
(not (union $? ?e $?))
=>
(retract ?h)
(assert (union ?e $?u)))

具体来说，应该改变程序的哪一部分？谢谢