gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-02 01:16:34 26 4
gpt4 key购买 nike

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

试图做这样的事情:

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

但它给了我一个错误:

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

请告诉我,如何正确地做到这一点?

最佳答案

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

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

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

关于prolog - 简单 : how to make the test for a false case?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10684694/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com