From 14fbca325728a8f71af77a6ae9ed4aa9cc37f512 Mon Sep 17 00:00:00 2001 From: "Robert P. Goldman" Date: Fri, 25 Jul 2025 11:18:53 -0500 Subject: [PATCH] Catch JANUS Prolog errors. Previously these would cause errors. Now we catch them, print the information and return `False`. --- popper/tester.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/popper/tester.py b/popper/tester.py index 49a9ca5f..5d2b242d 100644 --- a/popper/tester.py +++ b/popper/tester.py @@ -15,7 +15,11 @@ def format_literal_janus(literal): return f'{literal.predicate}({args})' def bool_query(query): - return query_once(query)['truth'] + try: + return query_once(query)["truth"] + except janus_swi.janus.PrologError as e: + return False + class Tester():