Add backtracking to the evaluator. This means we have to keep track of choicepoints which is implemented the easy but wasteful way for now.

I have also added a number which is used to differentiate variables from different application of the clauses.

1 files changed, 1 insertions, 4 deletions

diff --git a/main.c b/main.c
index 106e6ff..76d8e04 100644
--- a/main.c
+++ b/main.c
@@ -30,10 +30,7 @@ main(int argc, char *argv[])
 		if(fd < 0)
 			exits("open");
 		Term *prog = parse(fd);
-		Term *clause;
-		for(clause = prog; clause != nil; clause = clause->next)
-			print("%S.\n", prettyprint(clause));
-
+	
 		Term *goal;
 		for(goal = initgoals; goal != nil; goal = goal->next)
 			evalquery(prog, goal);