wrong erase (Jan W.)

friguzzi · Jul 14, 2020 · 8fea36b · 8fea36b
1 parent 83f1d0c
commit 8fea36b
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/prolog/mcintyre.pl b/prolog/mcintyre.pl
@@ -305,10 +305,8 @@
   retractall(M:sampled_g(_)).
 
 save_samples(M,G):-
-  M:sampled(R,Sub,V),
-  assert(M:mem(G,R,Sub,V)),
-  erase(M:sampled(R,Sub,V)),
-  fail.
+  forall(retract(M:sampled(R,Sub,V)),
+         assertz(M:mem(G,R,Sub,V))).
 
 save_samples(_M,_G).