diff --git a/pl/setof.yap b/pl/setof.yap index a626b6947..5049a2328 100644 --- a/pl/setof.yap +++ b/pl/setof.yap @@ -150,7 +150,7 @@ bagof(Template, Generator, Bag) :- '$excess_vars'((P,S), _, NY, L0, L). '$excess_vars'(findall(X,P,S), findall(X,P,S), Y, L0, L) :- !, '$excess_vars'(S, _, Y, L0, L). -'$excess_vars'(findall(X,P,S0,S), (X,P,S0,S), Y, L0, L) :- !, +'$excess_vars'(findall(X,P,S0,S), findall(X,P,S0,S), Y, L0, L) :- !, '$excess_vars'(S, _, Y, L0, L). '$excess_vars'(\+G, \+G, _, L0, LF) :- !, L0 = LF.