Re: Backtracking through JPL

Kilian Evang <[email protected]> Fri, 26 Jul 2013 10:53:09 +0200

Newsgroups	gmane.comp.ai.prolog.swi
Message-ID	<[email protected]>

Hi Kilián,

On 25-07-13 17:02, Kilián Imre wrote:
> Namely: in a deep calling stack I want to withdraw only facts by
> clause/2, but not all other inferred facts (not by call/1). If I call
> it from the toplevel, it works, but if I call it from JPL,
> hasMoreSolutions succeeds only for the first result...

can you give a code example of what exactly you're trying to do? E.g.
paste a minimal example program, your successful toplevel session and
your unsuccessful Java code...

Best,
Kilian