我有一个名为Person的模板,该模板具有眼睛,手,身体和许多其他插槽。但是这些插槽中的每个插槽都是其他模板。
那么如何为其他模板类型的模板定义插槽?
以及如何定义事实?
这是我主要的例子:
(deftemplate Eyes
(slot colorOfEye (type STRING))
(slot ShapeOfEye (type STRING)))
(deftemplate Person
(slot eye (type Eyes))
)
(deffacts People
(Person (eye ....))
)
(reset)
定义Person模板不能像这样工作,而且我不知道如何定义事实
谢谢
最佳答案
您必须将它们都定义为单独的模板。然后,您可以在主事实中存储fact-id
或“子事实”的其他标识符,然后使用该值将主事实模式与“子事实”模式结合在一起:
(defrule blue-eyed-person
(person (name ?name) (eyes ?eyes))
?eyes <- (eyes (color blue))
=>
(printout t ?name " has blue eyes." crlf))
或者
(defrule blue-eyed-person
(person (name ?name) (eyes ?eyes))
(eyes (id ?eyes) (color blue))
=>
(printout t ?name " has blue eyes." crlf))
首先要创建事实,您可能会说
(bind ?eyes (assert (eyes (color blue))))
(assert (person (name Fred) (eyes ?eyes)))