推理引擎序言

Question

我正在尝试在prolog中构建推理引擎。

例如，这里有一些规则

R1 : A and B -> C
R2 : E and F -> D
R3 : G and T -> H

我想这样做

c :- a,b
d :- e,f
h :- g,t

但我必须使用如下定义的谓词“rule / 1”

rule(Ri) :- "if conditions then conclusions".

例如：

rule(r1) :- "if a and b then c".

我该怎么办？

Answer 1

我找到了一个解决方案：

:- dynamic if/1, then/1.
rule(r1) :- if([a,b]),then([c]).
rule(r2) :- if([e,f]),then([d]).
rule(r3) :- if([g,t]),then([h]).

然后使用谓词clause/2来迭代规则，如下所示：

clause(rule(R),(if(X),then(Y))).