From d5ce41f05bc322fa2fb4d0eee66080b3b3004853 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 00:07:49 +0000 Subject: 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 --- main.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'main.c') 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); -- cgit v1.2.3