This commit is contained in:
Vítor Santos Costa 2016-03-30 01:26:02 +01:00
parent 1c2383b5b9
commit 6b141078b4

View File

@ -106,7 +106,7 @@ otherwise.
'$continue_static_clause'(A,B,C,D,E). '$continue_static_clause'(A,B,C,D,E).
'$do_static_clause'(_,_,_,_,_). '$do_static_clause'(_,_,_,_,_).
\:- '$all_current_modules'(M), yap_flag(M:unknown, error) ; true. :- '$all_current_modules'(M), yap_flag(M:unknown, error) ; true.
:- bootstrap('arith.yap'). :- bootstrap('arith.yap').
@ -222,7 +222,7 @@ sub-goal _NG_ will replace _G_ and will be processed in the same
:- dynamic user:goal_expansion/3. :- dynamic user:goal_expansion/3.
:- multifile user:goal_expansion/2. :- multifile user:goal_expansion/2.
:- dynamic user:goal_expansion/2. :- dynamic user:goal_expansion/2.
:- multifile system:goal_expansion/2. :- multifile system:goal_expansion/2.