前言:比较谓词值和常量

Question

我在prolog中遇到了一些问题，特别是我无法将谓词的值与常量进行比较。

predicate(9).
compare(X,Y) :- X<Y.

运行程序:

?-compare(predicate(X),10).

为什么不工作?谢谢你的回答。

Answer 1

谓词不像函数那样返回值。

这是C:

int nine() { return 9; }
int main() {
    int x = nine(); /* x is now 9 */
}

这是Prolog:

% source
nine(9).
% from the top level
?- nine(X).
X = 9.
?- nine(X), X < 10.
X = 9.
?- nine(X), compare(C1, X, 10), compare(C2, 10, X).
X = 9,
C1 =  (<),
C2 =  (>).

一些事情(尽量不要使用太多Prolog术语):

你的predicate/1和我的nine/1所做的是将其唯一的参数与整数9统一。如果统一成功，则谓词成功，现在参数被绑定到9。如果统一失败，则谓词失败。

?- nine(9).
true.
?- nine(nine).
false.
?- nine(X), nine(Y).
X = Y, Y = 9.

您还会注意到有一个标准谓词compare/3，可用于比较Prolog术语。因为谓词不像函数那样有返回值，所以它使用一个额外的参数来报告比较的结果。您可以尝试这样做:

% greater_than(X, Y) : true if X is greater than Y according
%                      to the standard order of terms
greater_than(X, Y) :- X @> Y.

但这只是为@>/2定义一个别名，它本身就是一个谓词(但已被声明为操作符，以便您可以在中缀表示法中使用它)。

?- @>(a, b).
false.
?- @>(b, a).
true.

同样适用于</2，它是用于比较算术表达式的谓词:

?- 2 + 4 =< 6.
true.
?- nine(X), X > 10 - X.
X = 9.
?- nine(X), X > 10.
false.

Answer 2

就像@Boris在之前说的"谓词不像函数那样返回值。"在这里，您必须尝试实例化规则头部的变量。
如果你试图用你的谓词compare/2找到一个数字X大于Y，同时这个数字X应该是一个事实predicate/1，然后将这两个条件添加到你的规则或谓词compare/2

predicate(9).
compare(X,Y) :- predicate(X), X<Y.

现在如果你参考:

?- compare(X,10).

答案将是

X = 9

可以看到，9小于10，同时9是一个事实predicate/1。这就是你要找的返回值。

谨慎

注意，操作符>/2要求两边都被实例化，所以在这种情况下，您将无法在谓词

中请求值Y。

?- compare(9, Y)
</2: Arguments are not sufficiently instantiated

也许，如果它是有意义的，你可以尝试实例化这个变量为一个事实predicate/1。

predicate(9).
predicate(10).
compare(X,Y) :- predicate(X), predicate(Y), X<Y.
?- compare(9,Y).
Y = 10