artificial-intelligence - 规则引擎/Rete 算法中是否允许使用函数符号？

Question

AI: A Modern Approach调出 Rete algorithm在 first-order logic 中讨论推理时.
然而，我发现的 Rete 算法的所有描述似乎都使用了没有函数符号的规则。
换句话说，规则看起来像

a(X) ∧ b(X, Y) → c(Y)

但不是

a(f(X)) ∧ b(X, Y) → c(f(Y))

(区别可能是根本的，因为它是Prolog和Datalog之间的区别，其中只有一个是图灵完备的)
Rete 算法是否仅限于没有函数符号的规则？
Drools 和 CLIPS 等现代规则引擎是否处理函数符号？

Answer 1

在 CLIPS 中，这就是你如何实现规则“对于每个人，该人只有一个父亲，如果一个人的父亲很有钱，那么他/她也很有钱”:

(defrule inherited-wealth
   (forall (person ?p)
           (father ?p ?f)
           (not (father ?p ~?f)))
   (person ?p)
   (father ?p ?f)
   (rich ?f)
   =>
   (assert (rich ?p)))