Неравномерность изменения значения слота в шаблоне фактов CLIPS с использованием clipsPy

Question

Я пытаюсь изменить шаблон факта из Python, используя CLIPSPY. Он ведет себя странно, так как он действительно изменяет слот в первый раз, но затем для следующего слота он не изменяет и даже не изменяет предыдущее значение измененного слота на что-то другое!!

Это файл с питоном.

# run.py
import clips

clips_env = clips.Environment()

def py_modify_s1(p):
    p.retract()
    p["s_1"] = clips.Symbol("ABC") 
    p.assertit()

def py_modify_s2(p):
    p.retract()
    p["s_2"] = clips.Symbol("DEF") 
    p.assertit()

clips_env.define_function(py_modify_s1)
clips_env.define_function(py_modify_s2)

clips_env.load("KB.clp")
clips_env.reset()
clips_env.run()

Это файл clp.

(deftemplate t
        (slot s_1 (type SYMBOL) (default none))
        (slot s_2 (type SYMBOL) (default none))
)

(defrule rule_0
        (initial-fact)
        =>
        (assert (t))
)

(defrule rule_1
        ?p<-(t  (s_1 none) (s_2 none))
        =>
        (py_modify_s1 ?p)
        (facts)
)

(defrule rule_2
        ?p <- (t (s_1 ?x&~none) (s_2 none))
        =>
        (py_modify_s2 ?p)
        (facts)
)

(defrule rule_3
        ?p <- (t (s_1 ?x&~none) (s_2 ?y&~none))
        =>
        (printout t "All set")
        (facts)
)

Запуск того же файла клипа в оболочке CLIPS (замена py_modify на (modify ?p (s_1,ABC))) дает ожидаемый результат. Но бегая из clipspy я получаю:

f-0     (initial-fact)
f-2     (t (s_1 ABC) (s_2 none))
For a total of 2 facts.
f-0     (initial-fact)
f-2     (t (s_1 ▒▒▒3wU) (s_2 none))
For a total of 2 facts.

Обратите внимание, как s_1 содержит некоторое значение мусора после запуска rule_2 а также s_2 не изменяется только. В следствии, rule_3 никогда не уволят

Answer 1

Оказывается, факты не могут быть изменены после утверждения через C (и, следовательно, Python) API. Единственный способ изменить факт - это отозвать исходный и утвердить новый. глава 4.4.22 EnvPutFactSlot Расширенное руководство по программированию.

Единственный возможный путь, по-видимому, - убрать старый факт и утвердить новый с обновленными значениями.

def modify_fact(fact):
    """Modify a template fact."""
    fact.retract()

    new_fact = fact.template.new_fact()
    new_fact.update(dict(fact))  # copy over old fact slot values

    new_fact["s_1"] = clips.Symbol("v_2") 

    new_fact.assertit()

Я поднял этот вопрос и на форуме CLIPS.