From 46b20f55d7800def6a074655f3995118266207ad Mon Sep 17 00:00:00 2001 From: "Edward J. Schwartz" Date: Wed, 16 Nov 2022 10:11:05 -0500 Subject: [PATCH] Don't abolish tables! --- share/prolog/oorules/guess.pl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/share/prolog/oorules/guess.pl b/share/prolog/oorules/guess.pl index 9efdc9eb..f21a3add 100644 --- 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)),