术语等式/不等式的具体化

Question

纯粹的PROLOG程序以清晰的方式区分术语的平等和不平等，但执行效率低下；即使所有相关术语都是有根据的。

最近的一个例子是这个答案..在这个定义中，所有的答案和失败都是正确的。考虑：

?- Es = [E1,E2], occurrences(E, Es, Fs).
Es = Fs, Fs = [E, E],
E1 = E2, E2 = E ;
Es = [E, E2],
E1 = E,
Fs = [E],
dif(E, E2) ;
Es = [E1, E],
E2 = E,
Fs = [E],
dif(E, E1) ;
Es = [E1, E2],
Fs = [],
dif(E, E1),
dif(E, E2).

虽然程序从声明性的角度来看是完美无缺的，但它在当前系统(如B、SICStus、SWI、YAP)上的直接执行是不必要的低效。对于下面的目标，选择点将保持打开状态每人元素。

?- occurrences(a,[a,a,a,a,a],M).
M = [a, a, a, a, a] ;
false.

这可以通过使用足够大的aS如下。您可能需要调整I这样，列表仍然可以表示；在SWI中，这意味着

第一I必须足够小，以防止全局堆栈出现资源错误，如下所示：

?- 24=I,N is 2^I,length(L,N), maplist(=(a),L).
ERROR: Out of global stack

2做I必须足够大以引发本地堆栈的资源错误：

?- 22=I,N is 2^I,length(L,N), maplist(=(a),L), ( Length=ok ; occurrences(a,L,M) ).
I = 22,
N = 4194304,
L = [a, a, a, a, a, a, a, a, a|...],
Length = ok ;
ERROR: Out of local stack

为了克服这个问题，并保留好的声明性属性，需要一些比较谓词。

---

如何定义这个比较谓词？

---

Answer 1

首先，名称应该更具有声明性，比如equality_truth/2.