Group clauses into predicates, and create all valid choicepoints at once. This is wastefull if one branch loops forever, but it is much nicer otherwise, since we know the choicepoints only gets created as long as their head is unifiable with the goal.

1 files changed, 1 insertions, 1 deletions

diff --git a/parser.c b/parser.c
index 0acf3b6..172475e 100644
--- a/parser.c
+++ b/parser.c
@@ -660,4 +660,4 @@ syntaxerror_parser(char *where)
 {
 	print("Syntax error: Unexpected %d (%S) token in %s\n", lookahead.tag, lookahead.text, where);
 	exits("syntax error");
-}
\ No newline at end of file
+}