:/2 attempts to reuse a backtrack point

drt24 / gnuprologjava

GNU Prolog for Java

8 stars 5 forks source link

:/2 attempts to reuse a backtrack point #14

Closed thetrime closed 8 years ago

thetrime commented 8 years ago

If a call to :/2 succeeds nondeterministically more than twice, the second time the backtrack point pushed is reused from the first time. Backtracking over this a third time causes a NullPointerException