Replace-member не работает и просто говорит, что синтаксис defrule недействителен

Question

Привет, я написал метод отображения для отображения некоторых фактов, но я хочу заменить все "}" на ")".Но моя программа не будет принимать метод replace-member

. Я ранее использовал в этом коде replace-member, но в этом случае он не работает.Я пытался с $?а также ?без разницыинформация предоставлена.

Answer 1

Переместите вызов функции bind в действия правила:

(defrule display 
   (sentence (sent $?check) 
             (or-to-implies-done ~true) 
             (implies-to-or-done ~true) (comm-or ~true))
   => 
   (bind $?check (replace-member$ $?check "}" (sym-cat ")")))
   (printout t (implode$ (apply sym-cat $?check)) crlf))