git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@933 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2003-11-20 00:28:08 +00:00
parent ff20288236
commit 8d3f30de9c

View File

@ -51,7 +51,7 @@ assert(C) :-
'$assert_clause2'(C, G, M1, Where, R, P). '$assert_clause2'(C, G, M1, Where, R, P).
'$assert_clause'(M:C, G, M1, Where, R, P) :- !, '$assert_clause'(M:C, G, M1, Where, R, P) :- !,
'$preprocess_clause_before_mod_change'((C:-G),M1,M,C1), '$preprocess_clause_before_mod_change'((C:-G),M1,M,C1),
C1 = (MH :- NG), C1 = (NH :- NG),
'$assert_clause2'(NH, NG, M, Where, R, P). '$assert_clause2'(NH, NG, M, Where, R, P).
'$assert_clause'(H, G, M1, Where, R, P) :- !, '$assert_clause'(H, G, M1, Where, R, P) :- !,
'$assert_clause2'(H, G, M1, Where, R, P). '$assert_clause2'(H, G, M1, Where, R, P).