diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-07 16:44:25 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-07 16:44:25 +0000 |
commit | e6a38aa97b9de05ae0eede568212667b68784a60 (patch) | |
tree | 26cc01919d3502c9a66d734a616c9de8850b83b4 /eval.c | |
parent | 0f958749e189e4dacd7a1f70cfc33460e1228d3b (diff) |
Add copy_term/2
Diffstat (limited to 'eval.c')
-rw-r--r-- | eval.c | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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; } |