Add PL_clear_exception to prolog/core.py

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)