The original engine has been updated to conform to ISO prolog semantics, including slightly complex cases involving the cut. The obscure bugs
(mostly involving the behaviour of the cut in conjunction and
disjunction) are fixed.
There are some relatively non-obscure bugs remaining, in mismatches
between the CL and Prolog stream concepts, in bagof and setof, and in
the non-ISO equivalence of functorial and list expressions.