以下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序列，每个元素加倍...