Make parse return a list of clauses. Also pretty print the entire list of clauses.

1 files changed, 4 insertions, 1 deletions

diff --git a/main.c b/main.c
index 504b02d..abad53b 100644
--- a/main.c
+++ b/main.c
@@ -29,7 +29,10 @@ main(int argc, char *argv[])
 		int fd = open(parsetestfile, OREAD);
 		if(fd < 0)
 			exits("open");
-		parse(fd);
+		Term *prog = parse(fd);
+		Term *clause;
+		for(clause = prog; clause != nil; clause = clause->next)
+			print("%S.\n", prettyprint(clause));
 	}
 
 	exits(nil);