prolog - 简单 : how to make the test for a false case?

Question

测试应该返回真:如果第一部分为真，第二部分为假。

试图做这样的事情:

f_test  :- f(x), % 1st part
           f(y) is false. % 2nd part

但它给了我一个错误:

ERROR: is/2: Arithmetic: `false/0' is not a function.

请告诉我，如何正确地做到这一点？

Answer 1

(is)/2 是一个旨在执行算术的谓词。即使您的测试是关于算术的，使用 (=:=)/2 也是首选(因为 (is)/2 用于实例化变量。当你用它来检查变量值，你误用了它。OTOH，(=:=)/2 用于比较数字)。

但在这里，您的测试不是关于算术，而是关于判断某事是否为真。有一个运算符，它检查给定的术语是否可证明，它是 (\+)/1，使用的是:

f_test :-
    f(x),
    \+ f(y).