diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
commit | 85adea62d7e8eee9d0e3525d572325db4e58d21a (patch) | |
tree | e976789abf464f9868f9a12778285329db785d7a /main.c | |
parent | fa83d3f1aba932e99833244ebb38b7415b142bd7 (diff) |
Allow the repl to backtrack to give alternative results
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -43,7 +43,8 @@ main(int argc, char *argv[]) Term *goal; for(goal = initgoals; goal != nil; goal = goal->next){ Binding *bindings = nil; - evalquery(database, goal, &bindings); + Choicepoint *choicestack = nil; + evalquery(database, goal, &bindings, &choicestack); } } |