From 85adea62d7e8eee9d0e3525d572325db4e58d21a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 23:30:13 +0000 Subject: Allow the repl to backtrack to give alternative results --- main.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'main.c') diff --git a/main.c b/main.c index c30e5f7..cd1485c 100644 --- a/main.c +++ b/main.c @@ -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); } } -- cgit v1.2.3