Prolog簡化

Question

任何人都可以告訴我，如果有更簡單的方法在Prolog中編寫此代碼，我需要縮小範圍以使其更加緊湊。

這是我到目前爲止有：

add(X,[],[X]). 
add(X,[A|L],[A|L1]) :- 
    add(X,L,L1). 

head([X|_], X). 

exist(X,Y,A,B) :- 
    between(1, 8, X), 
    between(1, 8, Y), 
    between(1,8,A), 
    between(1, 8, B). 

exist(X/Y, A/B) :- 
    exist(X,Y,A,B). 

Answer 1

首先，刪除head/2。 Prolog的模式匹配比此更短且更具可讀性。

其次，你想用add/3做什麼？在我看來，所有它會做的就是給你第二個列表的最後一個元素，如果他們碰巧有完全相同的元素，除了第二個元素有一個以上。換句話說，唯一成功的統一看起來像add(Z, [A,B,...,Y], [A,B...Y,Z])，我正在想象你可能需要的場景。

在exist/4修復第3行的間距！對你的工作感到自豪！ exist/4會產生你從1-8選擇的4個變量的所有排列。看起來很好，不知道爲什麼你需要它。

exist/2只是重新格式化exist/4，使它看起來像分數。再次，不知道爲什麼你需要它。

你想用這段代碼做什麼？這看起來像一堆奇怪而又不相關的工具。