From 83ebce86b62a86832767b671fede17f3b50cab29 Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 5 Sep 2023 11:51:06 -0600 Subject: [PATCH] call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977) --- src/lib/iso_ext.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index 0a5798ae..a53ac991 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -226,8 +226,9 @@ end_block(B, _Bb, NBb, L) :- :- non_counted_backtracking handle_ile/3. -handle_ile(B, inference_limit_exceeded(B), inference_limit_exceeded) :- +handle_ile(B, inference_limit_exceeded(B), R) :- !, + R = inference_limit_exceeded, '$pop_ball_stack'. handle_ile(B, _, _) :- '$remove_call_policy_check'(B), -- 2.54.0