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

fix previous patch to handle ! in disjunction

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@203 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-11-26 19:34:27 +00:00
parent 4f274d67a8
commit ac30bcff67
1 changed files with 7 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pl/boot.yap
View File

@ -652,19 +652,14 @@ incore(G) :- '$execute'(G).
'$execute_within'(A), '$execute_within'(A),
'$last_execute_within'(B). '$last_execute_within'(B).
';'((A->B),C) :- !, ';'(A,B) :- ((A = ( T->G) -> '$execute_within'(T), !, '$execute_within'(G) ;
( '$execute_within'(A) -> '$execute_within'(B) ; '$execute_within'(A) );
'$execute_within'(C) ). '$execute_within'(B) ).
';'(A,B) :-
( '$execute_within'(A) ; '|'(A,B) :- ((A = ( T->G) -> '$execute_within'(T), !, '$execute_within'(G) ;
'$execute_within'(B) ). '$execute_within'(A) );
'$execute_within'(B) ).
'|'((A->B),C) :- !,
( '$execute_within'(A) -> '$execute_within'(B) ;
'$execute_within'(C) ).
'|'(A,B) :-
( '$execute_within'(A) ;
'$execute_within'(B) ).
'->'(A,B) :- '->'(A,B) :-
( '$execute_within'(A) -> ( '$execute_within'(A) ->