summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--prolog/core.py4
-rwxr-xr-xprolog/engine.py2
2 files changed, 6 insertions, 0 deletions
diff --git a/prolog/core.py b/prolog/core.py
index b14e58f..afcfdd0 100644
--- a/prolog/core.py
+++ b/prolog/core.py
@@ -860,6 +860,10 @@ PL_cons_list.restype = None
PL_exception = _lib.PL_exception
PL_exception.argtypes = [qid_t]
PL_exception.restype = term_t
+
+PL_clear_exception = _lib.PL_clear_exception
+PL_clear_exception.restype = None
+
#
PL_register_foreign = _lib.PL_register_foreign
diff --git a/prolog/engine.py b/prolog/engine.py
index bd67d86..f9cc6ce 100755
--- a/prolog/engine.py
+++ b/prolog/engine.py
@@ -191,6 +191,8 @@ class PrologEngine(object):
sys.stderr.write('Error: ' + str(Msg) + '\n')
else:
sys.stderr.write('Unknown error\n')
+ # uncomment this if we get segfaults
+ #PL_clear_exception()
break
PL_close_query(qid)