为什么这个prolog代码错了？

Question

not(A), not(D), not(B), not(not(D));not(not(A)), D, not(B), not(not(D));not(not(A)), not(D),B, not(not(D));not(not(A)), not

(D), not(B), not(D).

报道：

  

错误：f：/ program   文件/ PL /演示/ test.pl：1：           无权修改static_procedure`（;）/ 2'

如何正确使用？

Answer 1

您提供的是Prolog查询，应在Prolog命令提示符中输入。看起来你已经将它放入Prolog源文件中，这不会起作用。 Prolog源文件只能包含事实和规则。

事实可能如下所示：

foo(bar).

规则可能如下所示：

foo(X) :- baz(X).

您提供的代码段与其中任何一个都不匹配。在Prolog源文件中，您只能在规则体中将多个连词或析取串联起来（即:-符号右侧的部分）。

您可能想要了解如何编写prolog谓词。