Prolog什么是\ +和\ =之间的区别

时间:2018-05-22 19:58:24

标签: prolog logical-operators

有什么区别\ =和\ +?

因为

?- 15\=14.
?- \+ 15=14.<--- this gives an error while the above does not.

为什么?Aren他们一样吗?

编辑:这是错误:

Compiling the file:
D:\Program Files\Strawberry Prolog Beta\Games\WarCraft.pro
Warning 4: The string \+ is not an operator. (line 1, before the first clause)
Error 16: Instead of the integer 15 what is expected here is something like an infix operator or a full stop. (line 1, before the first clause)
1 error, 1 warning.

我也使用草莓序言我也在SWI prolog上尝试过它。

1 个答案:

答案 0 :(得分:1)

我认为您正在将查询放入Prolog源文件中。那不是他们应该去的地方:

  • 谓词定义进入Prolog源文件
  • 查询被输入到交互式Prolog toplevel

尝试在没有输入文件的情况下运行SWI-Prolog程序 。您应该会看到一个窗口,其中包含有关SWI-Prolog版本的一些信息性消息,然后是提示?-。那就是顶级。尝试在那里输入您的查询。所有问题都应该去那里。

我不知道Strawberry Prolog,但我怀疑它是一样的。