我正在基于Luger和Stubblefield的ExShell构建一个专家系统壳。在他们的系统中，他们以以下方式定义规则：

rule((Goal :- (Premise)), CF_Rule).

忽略CF_Rule。这个语法的一个例子是：

rule((fix(Advice) :-    (bad_component(X),fix(X, Advice))), 100).

我想在某些规则中添加一个OR操作符，但SWI-Prolog不识别”;”，并像处理拼写错误一样跳过该规则。例如，如果我想这样做：

rule((fix(Advice) :-    (bad_component(X); fix(X, Advice))), 100).

那么这个规则将不再被识别。由于壳的构建方式，定义两个规则不是一个选项（它不会触发具有相同头的两个目标）。我如何在这些规则中添加OR操作符呢？

编辑：系统开始时编写

solve(fix(X), CF).

Solve寻找触发的规则，然后尝试解决它们的前提条件，如下所示：

%在知识库中回溯规则  solve(Goal, CF, Rules, Threshold) :-    rule((Goal :- (Premise)), CF_rule),     solve(Premise, CF_premise,         [rule((Goal :- Premise), CF_rule)|Rules], Threshold),    rule_cf(CF_rule, CF_premise, CF),    above_threshold(CF, Threshold).

启动搜索的顶级目标是：

rule((fix(Advice) :-    (bad_component(X),fix(X, Advice))), 100).

回答：

它在SWI-Prolog版本6.6.6中至少是可行的。

让我们定义这两个规则：

rule((fix(Advice) :- (bad_component(X), fix(X, Advice))), 100).rule((fix(Advice) :- (bad_component(X); fix(X, Advice))), 100).

如果我们查询可用的规则，我们可以得到这两个规则：

?- rule((A :- B), C).A = fix(_G2329),B = (bad_component(_G2334), fix(_G2334, _G2329)),C = 100 ;A = fix(_G2329),B = (bad_component(_G2334);fix(_G2334, _G2329)),C = 100.