diff options
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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); |