From c3aa27e76bf45af14a5f489944fdb49d11122362 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Thu, 27 Sep 2001 14:01:16 +0000
Subject: [PATCH] consult of dynamic predicates was working as reconsult

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@166 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 changes4.3.html | 2 ++
 pl/boot.yap     | 4 ++--
 pl/preds.yap    | 7 +++++--
 3 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/changes4.3.html b/changes4.3.html
index ff34de75e..2712712ef 100644
--- a/changes4.3.html
+++ b/changes4.3.html
@@ -16,6 +16,8 @@
 
 <h2>Yap-4.3.20:</h2>
 <ul>
+	<li>FIXED: consult should not erase dynamic clauses (report
+	from James Cussens).</li>
 	<li>FIXED: check if we still can do garbage collection (MBIT
 	and RBIT ok)  (report from James Cussens).</li>
 	<li>FIXED: always release stack after InitBigNum  (report from
diff --git a/pl/boot.yap b/pl/boot.yap
index bad042d05..470779892 100644
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -300,7 +300,7 @@ repeat :- '$repeat'.
 	'$go_compile_clause'(G,V,5),
 	fail.
 '$continue_with_command'(consult,V,G) :-
-	'$go_compile_clause'(G,V,5),
+	'$go_compile_clause'(G,V,13),
 	fail.
 '$continue_with_command'(top,V,G) :-
 	'$query'(G,V).
@@ -328,7 +328,7 @@ repeat :- '$repeat'.
 		'$check_term'(G,V) ; true ),
 	'$precompile_term'(G, G0, G1).
 
-% proccess an input clause
+% process an input clause
 '$$compile'(G,G0,L) :-
 	'$head_and_body'(G,H,_), 
 	'$inform_of_clause'(H,L),
diff --git a/pl/preds.yap b/pl/preds.yap
index 32d07badc..96bd9d3d6 100644
--- a/pl/preds.yap
+++ b/pl/preds.yap
@@ -174,13 +174,16 @@ assertz_static(C) :-
 '$assertz_dynamic'(X,C,C0) :- (X/\4)=:=0, !,
 	'$head_and_body'(C,H,B),
 	'$assertat_d'(last,H,B,C0,_).
-'$assertz_dynamic'(_,C,C0) :- 
+'$assertz_dynamic'(X,C,C0) :- 
 	'$head_and_body'(C,H,B), functor(H,N,A),
-	( '$check_if_reconsulted'(N,A) ->
+	('$check_if_reconsulted'(N,A) ->
 		true
 		 ;
+	  (X/\8)=:=0 ->
 		'$inform_as_reconsulted'(N,A),
 		'$remove_all_d_clauses'(H)
+		 ;
+		true
 	),
 	'$assertat_d'(last,H,B,C0,_).