프롤로그의 튜플에 나열

Question

나는 프롤로그에 절을 써서 목록을 가져 와서 가장자리의 술어를 반환하려고합니다. 예 :

?- listpairs([1, 2, 3], X, Y). 
X = 1 
Y = 2; 

X = 2 
Y = 3; 

이것은 내가 지금까지 시도했지만 어디에도 없었습니다.

listpairs([H], H, H). 
listpairs([H1,H2|T], X, Y) :- 
     X is H1, 
     Y is H2, 
     listpairs([H2|T], X, Y). 

누군가 도와 주시면 감사하겠습니다.

Answer 1

문제는 쓰기가 있다는 것입니다 :

X, Y가 값이 술어는 박람회 당신이하려고합니다 재귀의 다음 반복에 있기 때문에 더 그렇게 변경할 수 있음을 의미 인스턴스화 다시 인스턴스화 X, Y.

시도 :

listpairs([H1,H2], H1, H2). 
listpairs([H1,H2,_|_], H1, H2). 
listpairs([_,H2|T], X, Y) :- listpairs([H2|T], X, Y). 

예 :

?- listpairs([1, 2, 3, 4, 5], X, Y). 
X = 1, 
Y = 2 ; 
X = 2, 
Y = 3 ; 
X = 3, 
Y = 4 ; 
X = 4, 
Y = 5 ; 
false.