summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 18:46:18 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 18:46:18 +0000
commit9799fbd9e8c7fd186365c628bf2024d458dafc75 (patch)
treebc077b6dd46e3922dd1b7ac38631e7039d4cc9bf /main.c
parenta27a5c52f5efeac5165b4dddcb90f207853cc1f5 (diff)
Understand :-initialization(Goal) directive
Diffstat (limited to 'main.c')
-rw-r--r--main.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/main.c b/main.c
index abad53b..10ccec9 100644
--- a/main.c
+++ b/main.c
@@ -33,6 +33,11 @@ main(int argc, char *argv[])
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){
+ print("Running query: %S\n", prettyprint(goal));
+ }
}
exits(nil);