Backtracking through JPL
Kilián Imre <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Organization | Gyűrűfű |
| Message-ID | <[email protected]> |
Hi! Does anybody have an experience with backtracking through JPL? 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... What can be the reason of this? Does anybody have an idea? yours: -- Kilián Imre <[email protected]>