From e6a38aa97b9de05ae0eede568212667b68784a60 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 7 Jul 2021 16:44:25 +0000 Subject: Add copy_term/2 --- eval.c | 4 ---- 1 file changed, 4 deletions(-) (limited to 'eval.c') diff --git a/eval.c b/eval.c index 6c20a7e..3201286 100644 --- a/eval.c +++ b/eval.c @@ -12,8 +12,6 @@ Goal *copygoals(Goal *); Builtin findbuiltin(Term *); void addchoicepoints(Clause *, Term *, Goal *, Module *); -static uvlong clausenr; - int evalquery(Term *query, Binding **resultbindings) { @@ -39,8 +37,6 @@ evalquery(Term *query, Binding **resultbindings) /* Now add the actual goals */ goalstack = addgoals(goalstack, query, usermodule); - clausenr = 2; /* Start at two since 0 is for the facts in the database, and 1 is for queries */ - }else{ goto Backtrack; } -- cgit v1.2.3