Re: Runtime error with Amzi! prolog and Java

From: bart demoen (bmd_at_cs.kuleuven.ac.be)
Date: 03/29/04 

Date: Mon, 29 Mar 2004 20:18:41 +0200

Amzi! inc. wrote:

> For example, we've put in a bit of code
> to check if you retract a dynamic database term while in a backtracking loop
> examining the same terms.

That seems unrelated to the robustness issue: some check like that seems
unavoidable if one wants to support the ISO semantics of
assert/retract/access of dynamic predicates. At least dealing properly
(i.e. not segfaulting) seems mandatory.

Cheers

Bart Demoen