Prolog的錯誤了全球棧

Question

ass(a). 
ass(b). 
ass(c). 

con(c,r). 

arg(A, L) :- forall(member(S, L), (ass(S), \+ con(S,A))). 

的如果我運行arg(r, [a,b])它會工作，但如果我跑arg(r,X)返回：ERROR出全球棧。我希望它返回[a,b]。我明白這是因爲L是無限的，但我該如何解決這個問題。

Answer 1

在謂詞：

arg(A, L) :- forall(member(S, L), (ass(S), \+ con(S,A))). 

可有作爲forall/2的SWI Prolog的文檔中描述你的情況的限制：

如果您的目的是創建變量綁定的FORALL/2控制 結構不足。可能您正在尋找maplist/2, findall/3或foreach/2。

因此，在這種情況下，你可能會更好過：

arg(A, L) :- findall(S, (ass(S), \+ con(S,A)), L). 

這將產生：

?- arg(r, X). 
X = [a, b]. 

?- arg(r, [a,b]). 
true. 

?-