diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

oops...

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1184 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-11-22 16:31:33 +00:00
parent 6c7b891ec8
commit 36878b9a2b
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pl/boot.yap
View File

@ -615,20 +615,20 @@ incore(G) :- '$execute'(G).
','(X,Y) :- ','(X,Y) :-
'$save_current_choice_point'(CP), '$save_current_choice_point'(CP),
'$current_module'(M), '$current_module'(M),
'$call'(X,CP,G0,M), '$call'(X,CP,(X,Y),M),
'$call'(Y,CP,G0,M). '$call'(Y,CP,(X,Y),M).
';'(X,Y) :- ';'(X,Y) :-
'$save_current_choice_point'(CP), '$save_current_choice_point'(CP),
'$current_module'(M), '$current_module'(M),
( '$call'(X,CP,G0,M) ; '$call'(Y,CP,G0,M) ). ( '$call'(X,CP,(X;Y),M) ; '$call'(Y,CP,(X;Y),M) ).
'|'(X,Y) :- '|'(X,Y) :-
'$save_current_choice_point'(CP), '$save_current_choice_point'(CP),
'$current_module'(M), '$current_module'(M),
( '$call'(X,CP,G0,M) ; '$call'(Y,CP,G0,M) ). ( '$call'(X,CP,(X|Y),M) ; '$call'(Y,CP,(X|Y),M) ).
'|'(X,Y) :- '->'(X,Y) :-
'$save_current_choice_point'(CP), '$save_current_choice_point'(CP),
'$current_module'(M), '$current_module'(M),
( '$call'(X,CP,G0,M) -> '$call'(Y,CP,G0,M) ). ( '$call'(X,CP,G0,M) -> '$call'(Y,CP,(X->Y),M) ).
\+(G) :- \+ '$execute'(G). \+(G) :- \+ '$execute'(G).
not(G) :- \+ '$execute'(G). not(G) :- \+ '$execute'(G).