undo silly change to meta-calls

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1182 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-11-22 06:14:48 +00:00
parent fda0b76f18
commit 1c681ebd9b

View File

@ -676,9 +676,9 @@ incore(G) :- '$execute'(G).
'$call'(B,CP,G0,M) '$call'(B,CP,G0,M)
). ).
'$call'(\+ X, CP, G0, M) :- !, '$call'(\+ X, CP, G0, M) :- !,
\+ '$call'(X, CP, G0, M). \+ '$execute'(X).
'$call'(not(X), CP, G0, M) :- !, '$call'(not(X), CP, G0, M) :- !,
\+ '$call'(X, CP, G0, M). \+ '$execute'(X).
'$call'(!, CP, _,_) :- !, '$call'(!, CP, _,_) :- !,
'$$cut_by'(CP). '$$cut_by'(CP).
'$call'([A|B], _, _, M) :- !, '$call'([A|B], _, _, M) :- !,