在剪辑中断言字符串

Question

我正在尝试将 name 的值断言到一个变量中，但是当我断言它时，该值是用引号引起来的，并且最后还有一个额外的 space。

   (defrule discount_amt_group 
    (exists (Student (age 14)(marks ?q&:(> ?q 40))))
    =>
    (bind ?name "")
    (do-for-all-facts ((?p Student))
                  (or (eq ?p:marks 80)
                     (eq ?p:marks 75)
                     (eq ?p:marks 90))
    (bind ?name (str-cat ?name ?p:name " "))
    (bind ?totalMarks (+ ?totalMarks ?p:marks)))
    (assert (StudOut(names ?name)))

预期值将是（名字 Harry Ron Ginger）但现在它变成了（名字“Harry Ron Ginger”）请提出建议。

Answer 1

将名称表示为多字段值而不是字符串。您可以使用 create$ 函数最初创建一个空的多字段值，然后再次向其附加值。

         CLIPS (6.31 6/12/19)
CLIPS> 
(deftemplate Student
   (slot name)
   (slot age)
   (slot marks))
CLIPS>    
(deftemplate StudOut
   (multislot names)
   (slot totalMarks))
CLIPS>    
(deffacts Students
   (Student (name Harry) (age 14) (marks 80))
   (Student (name Ron) (age 15) (marks 75))
   (Student (name Ginger) (age 14) (marks 90))
   (Student (name Sally) (age 12) (marks 95)))
CLIPS>    
(defrule discount_amt_group 
   (exists (Student (age 14)(marks ?q&:(> ?q 40))))
   =>
   (bind ?name (create$))
   (bind ?totalMarks 0)
   (do-for-all-facts ((?p Student))
                     (or (eq ?p:marks 80)
                         (eq ?p:marks 75)
                         (eq ?p:marks 90))
      (bind ?name (create$ ?name ?p:name))
      (bind ?totalMarks (+ ?totalMarks ?p:marks)))
   (assert (StudOut (names ?name)
                    (totalMarks ?totalMarks))))
CLIPS> (reset)
CLIPS> (run)
CLIPS> (facts)
f-0     (initial-fact)
f-1     (Student (name Harry) (age 14) (marks 80))
f-2     (Student (name Ron) (age 15) (marks 75))
f-3     (Student (name Ginger) (age 14) (marks 90))
f-4     (Student (name Sally) (age 12) (marks 95))
f-5     (StudOut (names Harry Ron Ginger) (totalMarks 245))
For a total of 6 facts.
CLIPS>

在剪辑中断言字符串

asserting string in clips

rule-engine

rules

clips