Pyergo exception field

[Robert Goldman]

I am getting a pyergo result whose status is "eof", "success", but that has a non-empty exception.  Should this ever happen?  If not, please let me know and I will try to find an MWE.

[Robert Goldman]

Here's what I am seeing:

bindings={'?Y': '?_Var5616'} status=['eof', 'success']
exception="abort('instantiation_error:Error: non-instantiated exception term in call to
throw/1')@\\plg", has exception abort('instantiation_error:Error: non-instantiated
exception term in call to throw/1')@\plg.

[Michael Kifer]

could it be that your Ergo program  calls something  like throw{?Y} and this ?Y is unbound?

--
You received this message because you are subscribed to the Google Groups "ErgoAI and XSB Users Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-XSB-for...@coherentknowledge.com.
To view this discussion visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-XSB-forum/58bb6b34-510b-4b9a-829e-e65708760d73n%40coherentknowledge.com.

[Robert Goldman]

Yes, that could easily be it. What concerns me, though, is that pyergo seems not to have “noticed” the exception, since it sees an exception but does not mark it in the status column.  I will investigate further and try to find a repeatable test case.

You received this message because you are subscribed to a topic in the Google Groups "ErgoAI and XSB Users Forum" group.
To unsubscribe from this topic, visit https://groups.google.com/a/coherentknowledge.com/d/topic/ErgoAI-XSB-forum/e0f_BaCPeqw/unsubscribe.
To unsubscribe from this group and all its topics, send an email to ErgoAI-XSB-for...@coherentknowledge.com.
To view this discussion visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-XSB-forum/bd804cba-0fbc-4df5-aa35-ac36befa0096%40coherentknowledge.com.