From db43d461b9ec70b1868c824966dd8d50b886794e Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 18 Jul 2023 12:10:27 -0600 Subject: [PATCH] catch errors thrown from tabling Worker (#1526, #1888) --- src/lib/tabling.pl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/lib/tabling.pl b/src/lib/tabling.pl index 606635fb..e9008085 100644 --- a/src/lib/tabling.pl +++ b/src/lib/tabling.pl @@ -164,7 +164,9 @@ activate(Wrapper,Worker,T) :- delim(Wrapper,Worker,Table) :- % debug(tabling, 'ACT: ~p on ~p', [Wrapper, Table]), - reset(Worker,SourceCall,Continuation), + catch(reset(Worker,SourceCall,Continuation), + _, + fail), ( Continuation = none -> ( add_answer(Table,Wrapper) -> true %debug(tabling, 'ADD: ~p', [Wrapper]) -- 2.54.0