Don't abolish tables!

sei-eschwartz · sei-eschwartz · commit 46b20f55d780 · 2022-11-16T10:11:05.000-05:00
diff --git a/share/prolog/oorules/guess.pl b/share/prolog/oorules/guess.pl
@@ -1668,8 +1668,7 @@
 
 tryNegation(G) :-
     loginfoln('Guessing ~Q.', negation_commit(G)),
-    try_assert(negation_commit(G)),
-    abolish_all_tables.
+    try_assert(negation_commit(G)).
 
 tryNOTNegation(G) :-
     loginfoln('Guessing ~Q.', negation_fail(G)),
