将已读列表拆分为其元素

Question

我想让一个人有过敏症，然后把过敏症按过敏症分成不同的过敏症，以确定每个过敏症。为此，我使用了do-backward-chaining、assert-string和readline。

(do-backward-chaining allergies)

(defrule ask-allergies
    (need-allergies nil)
    =>
    (printout t "Tell me your allergies (tomato, cheese): ")
    (assert-string (str-cat "(allergies " (readline) ")")))

(defrule assert-allergies
    (allergies $? ?a $?)
    =>
    (assert (allergy ?a)))

(reset)
(run)

但输出此错误：

Jess reported an error in routine Context.getVariable
    while executing (reset).
Message: No such variable _blank_mf1.

Answer 1

我找不到任何关于反向链接如何工作的详细文档，但我认为您需要在只有$的地方使用$?variables？在断言-过敏性模式中：

Jess> (do-backward-chaining allergies)
TRUE
Jess> 
(defrule ask-allergies
    (need-allergies $?)
    =>
    (printout t "Tell me your allergies (tomato, cheese): ")
    (assert-string (str-cat "(allergies " (readline) ")")))
TRUE
Jess> 
(defrule assert-allergies
    (allergies $?b ?a $?e)
    =>
    (assert (allergy ?a)))
TRUE
Jess> (reset)
TRUE
Jess> (run)
Tell me your allergies (tomato, cheese): fish onions salt
4
Jess> (facts)
f-0   (MAIN::initial-fact)
f-1   (MAIN::need-allergies nil nil nil)
f-2   (MAIN::allergies fish onions salt)
f-3   (MAIN::allergy salt)
f-4   (MAIN::allergy fish)
f-5   (MAIN::allergy onions)
For a total of 6 facts in module MAIN.
Jess>