SWI Prolog 的排序程序

Question

为什么这个程序在 SWI-PROLOG 中回答 False？

sor(x, y):- sorted(y), perm(x, y).
sorted([]).
sorted([x, []]).
sorted([x, y, z]):- mi(x, y), sorted([y, z]).
perm([], []).
perm([x,y],[u,v]):- delete(u,[x,u],z), perm(z,v).
delete(x,[x,y],y].
delete(x, [y, z], [y, w]):- delete(x,z,w).
mi(0, x).
mi(s(x), s(y)):- mi(x, y).

对于查询？-

sor([s(s(s(s(s(0))))), s(s(s(s(s(s(0)))))), s(s(s(0))), s(s(0)), []], y).

这是对 SWIProlog 的改编，该程序在 Loyd 的 逻辑编程基础 一书中用作示例（您可以在 this pdf 中找到原始的 SLOWSORT 程序示例）第 9 页）

SWI Prolog 是标准的 Prolog，不是吗？

编辑

现在我尝试更正程序（稍微看一下 Prolog 中的列表语法）

sor(X, Y):- perm(X, Y), sorted(Y).
sorted([]).
sorted([X|[]]).
sorted([X|[Y|Z]]):- mi(X, Y), sorted([Y|Z]).
perm([], []).
perm([X|Y],[U|V]):- delete(U,[X|Y],Z), perm(Z, V).
delete(X,[X|Y],Y). 
delete(X, [Y|Z], [Y|W]):- delete(X, Z, W).
mi(0, X).
mi(s(X), s(Y)):- mi(X, Y).

并更改查询

sor([s(s(s(s(s(0)))))|[ s(s(s(s(s(s(0))))))|[s(s(s(0)))|[ s(s(0))|[]]]]], Y).

好吧，Prolog 现在成功了，但它提供了这种替代

Y = [s(s(0)), s(s(s(0))), s(s(s(s(s(0))))), s(s(s(s(s(s(...))))))]

我不明白 (...) 的含义：为什么不是 (0)？

编辑2

我注意到在给出命令 swipl -s slowsort.pl 后我得到了这个错误信息

Warning: /home/navigazione/Scrivania/slowsort.pl:3:
Singleton variables: [X]
Warning: /home/navigazione/Scrivania/slowsort.pl:9:
Singleton variables: [X]

好像是指程序的第3行和第9行，但是我不明白是什么意思。

Answer 1

太好了，你设法将它翻译成正确的 Prolog :)

您看到的是顶层试图通过省略某些内容来使内容可读（... 表示那里有未显示的内容）。请参阅 this question and answers 了解您可以告诉顶层显示完整术语而不是隐藏部分的不同方法。

至于单例变量警告，它只是告诉您有逻辑变量（在第 3 行和第 9 行），您在其语法范围内只提到过一次。您可以写 _X 而不是 X 以明确表明您没有使用该范围内的变量值。