Переполнение стека в Prolog

Question

Я пытаюсь написать код Пролога, чтобы определить, находится ли связанная переменная X в области связанной переменной Y в списке. Списки могут быть вложенными и X находится в области Y, если X и Y являются членами одного и того же списка, или если X является участником списка, который является членом списка, являющегося членом списка ... (вложенные на неопределенный срок), который находится в том же списке, что и Y. Здесь я определяю in_scope(X,Y,List) так, что X находится в диапазоне Y в самом дальнем конце List. Я написал следующий код, но этот код приводит к переполнению стека:

in_scope(X,Y,List) :- in(Parent,List), member(X,Parent), member(Y,Parent). 
in_scope(X,Y,List) :- in(X,Parent), in_scope(Parent,Y,List). 

in(X,Y) :- member(X,Y). 
in(X,Y) :- member(X,Z), in(Z,Y). 

Я был бы признателен за помощь в изменении кода, чтобы избежать переполнения стека.

Answer 1

я был слишком ленив, чтобы проследить фактическую ошибку, но следующий упрощенный код

in_scope(X,Y,List) :- member(Y,List), in(X,List). 
in_scope(X,Y,List) :- member(Sub,List), in_scope(X,Y,Sub). 

in(X,List) :- member(X,List). 
in(X,List) :- member(Sub,List), in(X,Sub). 

дает ожидаемые результаты:

?- in_scope(x,z,[x,y,z]). 
true . 

?- in_scope(x,z,[[x,y],z]). 
true . 

?- in_scope(x,z,[[[[[x],y]],z]]). 
true . 

?- in_scope(x,a,[[[[[x],y]],z]]). 
false. 

Но обратите внимание на следующее; Я не уверен, если это предполагаемое поведение:

?- in_scope(x,x,[x]). 
true .