CLIPS规则实现事实切换及多字段事实切换异常排查修正

要实现无需reset的真值维护，核心是让规则同时匹配新断言的灯色事实和需要移除的对立灯色事实，并通过retract操作完成旧事实的清理。以下是修正后的规则：

1. 红绿切换核心规则 #

; 处理红灯断言：打印Stop并移除已存在的绿灯
(defrule handle-red-light
  ?new-red <- (light red)
  ?old-green <- (light green)
=>
  (printout t "Stop" crlf)
  (retract ?old-green)
)

; 处理绿灯断言：打印Go并移除已存在的红灯
(defrule handle-green-light
  ?new-green <- (light green)
  ?old-red <- (light red)
=>
  (printout t "Go" crlf)
  (retract ?old-red)
)

2. 覆盖初始断言场景 #

如果需要支持第一次断言灯色（无对立灯色存在）时也打印提示，可补充以下规则：

; 第一次断言红灯时触发
(defrule initial-red-light
  ?new-red <- (light red)
  (not (light green))
=>
  (printout t "Stop" crlf)
)

; 第一次断言绿灯时触发
(defrule initial-green-light
  ?new-green <- (light green)
  (not (light red))
=>
  (printout t "Go" crlf)
)

未触发原因 #

规则未触发的核心问题是未正确匹配多槽geolocation的内容：

1. 多槽存储的是列表值，若用单槽匹配语法（如geolocation ?loc），无法完整匹配多槽的所有元素；
2. 原规则未添加geolocation的相等约束，导致无法关联同一位置的新旧灯色事实。

修正后的代码实现 #

1. 先定义正确的模板 #

(deftemplate light
  (slot color)
  (multislot geolocation) ; 存储位置信息，如路口ID、经纬度列表
)

2. 同位置灯色切换规则 #

使用$?loc语法绑定多槽内容，确保新旧灯事实的位置完全一致：

(defrule light-changed-same-location
  ?old-light <- (light color ?old-color geolocation $?loc)
  ?new-light <- (light color ?new-color&~?old-color geolocation $?loc)
=>
  (printout t "Light at location " $?loc " changed from " ?old-color " to " ?new-color crlf)
  (retract ?old-light)
)

3. 补充初始位置灯色设置规则 #

(defrule initial-light-at-location
  ?new-light <- (light color ?color geolocation $?loc)
  (not (light geolocation $?loc color ?other-color&~?color))
=>
  (printout t "Light at location " $?loc " set to " ?color crlf)
)

内容的提问来源于stack exchange，提问作者Homunculus Reticulli