new version had changed semantics of all/3 to fail on no solutions.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1786 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
a4e2a26003
commit
0e560e8cb8
@ -189,7 +189,7 @@ all(T,G,S) :-
|
||||
% $$set does its best to preserve space
|
||||
'$$set'(S,R) :-
|
||||
'$$build'(S0,_,R),
|
||||
S0 = [_|_],
|
||||
% S0 = [_|_],
|
||||
S = S0.
|
||||
|
||||
'$$build'(Ns,S0,R) :- '$db_dequeue'(R,X), !,
|
||||
|
Reference in New Issue
Block a user