CLIPS规则激活优先级疑问：更具体规则还是后定义规则先触发？

我刚接触CLIPS，有Prolog使用经验，记得Prolog会优先执行更具体的规则。但在实际测试中，发现CLIPS并非如此，现咨询相关策略：

测试用事实 #

(male Rayan)
(male Mark)
(female Jamila)
(female Maria)
(male Osama)
(male Brad)
(parent Rayan Mark) ; Rayan是Mark的父亲
(parent Brad Rayan)
(parent Maria Rayan)
(parent Rayan Osama)

测试用规则 #

(defrule grand-parent 
    (parent ?x ?y) 
    (parent ?y ?z) 
    => 
    (assert (grand-parent ?x ?z)))

(defrule grand-mother
    (parent ?x ?y) 
    (parent ?y ?z) 
    (female ?x) 
    => 
    (assert (grand-motehr ?x ?z))) ; 注：此处存在拼写错误，应为grand-mother

我原本以为不管规则定义顺序如何，更具体的grand-mother规则会先激活，但实际结果并非如此。想了解CLIPS基于规则特异性的激活策略，以及该问题是否与冲突消解策略相关。

问题解答 #

1. CLIPS默认冲突消解策略不基于规则特异性
   CLIPS默认采用**LEX（字典序）**冲突消解策略，核心逻辑是：

• 规则激活项的排序优先依据事实触发激活的先后顺序：先被断言的事实触发的规则激活排在前面；
• 若多个激活项由同一批事实触发，则按规则定义的先后顺序排序。
  这种策略不会自动识别规则的特异性（条件约束的多少），因此更具体的grand-mother规则不会被优先执行。

2. 基于特异性的冲突消解策略：MEA
   如果需要让更具体的规则优先激活，需手动切换到**MEA（最大特异性）**策略，该策略会优先选择条件约束更多、匹配更严格的规则。执行以下命令即可切换：

(set-strategy MEA)

切换后，grand-mother规则因多了(female ?x)的约束，特异性更高，其激活项会排在grand-parent之前，优先执行。

3. 额外注意
   你的grand-mother规则断言的事实存在拼写错误：grand-motehr应改为grand-mother，修正后才能正确生成祖母关系事实。

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