optimise trace in body
This commit is contained in:
parent
1c12d456ae
commit
725617cedd
@ -87,6 +87,7 @@ do_not_compile_expressions :- set_value('$c_arith',[]).
|
||||
'$clean_cuts'(NG0, NG),
|
||||
'$do_c_built_in'(A,M,NA).
|
||||
'$do_c_built_in'('C'(A,B,C), _, (A=[B|C])) :- !.
|
||||
'$do_c_built_in'(trace, _M, '$do_trace') :- !.
|
||||
'$do_c_built_in'(X is Y, M, P) :-
|
||||
primitive(X), !,
|
||||
'$do_c_built_in'(X =:= Y, M, P).
|
||||
|
Reference in New Issue
Block a user