Backtracking on Write

Question

JCumin opened this issue 8 years ago · 2 comments

Causes problems, there should be no unexplored branch points on that predicate.

Answer 1 · 2016-05-22T17:40:16.000Z

You can use setup_call_cleanup/3 to detect determinism, please see the example.

This would be an awesome feature of Brachylog: Create side effects only when it is really safe!

Answer 2 · 2016-05-26T15:05:06.000Z

Fixed. It was actually a bug in the REPL that had extraneous choice points, not in write.