以下Prolog程序是做什麼的？

Question

這個Prolog程序是做什麼的？我認爲它比較了兩個變量？當我讀到這條規則對我來說說m有m2的關係，如果x有關y

m(X, Y) :- 
    m2(X, Y, [ ]). 

m2([ ], X, X). 
m2([X|Y], [X, X|Z], W) :- 
    m2(Y, Z, W). 

Answer 1

讓我們嘗試最普遍的查詢：

?- m(X,Y). 
X = Y, Y = [] ; 
X = [_G3566], 
Y = [_G3566, _G3566] ; 
X = [_G3566, _G3575], 
Y = [_G3566, _G3566, _G3575, _G3575] ; 
X = [_G3566, _G3575, _G3584], 
Y = [_G3566, _G3566, _G3575, _G3575, _G3584, _G3584] ; 
... 

所以，伊蘇似乎是簡單地Xs序列，每個元素加倍...