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，由勞埃德（你可以找到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). 

更改查詢嘛，序言現在成功了，但它給了這個替代

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

我不明白（...）的含義：爲什麼不（0）？

EDIT2

我注意到，給予命令後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來明確表示您不是，而是使用該變量在該範圍內的值。