Start work on an evaluator. For now it knows how to unify but doesn't know how to handle builtin predicates or how to backtrack

1 files changed, 2 insertions, 3 deletions

diff --git a/main.c b/main.c
index 10ccec9..106e6ff 100644
--- a/main.c
+++ b/main.c
@@ -35,9 +35,8 @@ main(int argc, char *argv[])
 			print("%S.\n", prettyprint(clause));
 
 		Term *goal;
-		for(goal = initgoals; goal != nil; goal = goal->next){
-			print("Running query: %S\n", prettyprint(goal));
-		}
+		for(goal = initgoals; goal != nil; goal = goal->next)
+			evalquery(prog, goal);
 	}
 
 	exits(nil);