fix -> in disjunction in meta-call
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@202 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
ca85f690cd
commit
4f274d67a8
@ -130,7 +130,7 @@ low_level_trace(yap_low_level_port port, PredEntry *pred, CELL *args)
|
|||||||
extern int gc_calls;
|
extern int gc_calls;
|
||||||
|
|
||||||
vsc_count++;
|
vsc_count++;
|
||||||
if (vsc_count < 369599) return;
|
/* if (vsc_count < 369599) return; */
|
||||||
/* if (vsc_count > 500000) exit(0); */
|
/* if (vsc_count > 500000) exit(0); */
|
||||||
/* if (gc_calls < 1) return;*/
|
/* if (gc_calls < 1) return;*/
|
||||||
YP_fprintf(YP_stderr,"%lu ", vsc_count);
|
YP_fprintf(YP_stderr,"%lu ", vsc_count);
|
||||||
|
@ -652,17 +652,23 @@ incore(G) :- '$execute'(G).
|
|||||||
'$execute_within'(A),
|
'$execute_within'(A),
|
||||||
'$last_execute_within'(B).
|
'$last_execute_within'(B).
|
||||||
|
|
||||||
|
';'((A->B),C) :- !,
|
||||||
|
( '$execute_within'(A) -> '$execute_within'(B) ;
|
||||||
|
'$execute_within'(C) ).
|
||||||
';'(A,B) :-
|
';'(A,B) :-
|
||||||
( '$execute_within'(A) ;
|
( '$execute_within'(A) ;
|
||||||
'$execute_within'(B) ).
|
'$execute_within'(B) ).
|
||||||
|
|
||||||
|
'|'((A->B),C) :- !,
|
||||||
|
( '$execute_within'(A) -> '$execute_within'(B) ;
|
||||||
|
'$execute_within'(C) ).
|
||||||
'|'(A,B) :-
|
'|'(A,B) :-
|
||||||
( '$execute_within'(A) ;
|
( '$execute_within'(A) ;
|
||||||
'$execute_within'(B) ).
|
'$execute_within'(B) ).
|
||||||
|
|
||||||
'->'(A,B) :-
|
'->'(A,B) :-
|
||||||
( '$execute_within'(A) ->
|
( '$execute_within'(A) ->
|
||||||
'$execute_within'(B) ).
|
'$last_execute_within'(B) ).
|
||||||
|
|
||||||
\+(A) :-
|
\+(A) :-
|
||||||
\+ '$execute_within'(A).
|
\+ '$execute_within'(A).
|
||||||
|
Reference in New Issue
Block a user