diff options
Diffstat (limited to 'eval.c')
| -rw-r--r-- | eval.c | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -14,10 +14,9 @@ Builtin findbuiltin(Term *); static uvlong clausenr; int -evalquery(Term *database, Term *query, Binding **resultbindings, Choicepoint **resultchoicestack) +evalquery(Term *database, Term *query, Binding **resultbindings) { Goal *goals; - Choicepoint *choicestack = *resultchoicestack; if(choicestack == nil){ /* @@ -66,7 +65,7 @@ Retry: /* Try to see if the goal can be solved using a builtin first */ Builtin builtin = findbuiltin(goal); if(builtin != nil){ - int success = builtin(database, goal, &goals->next, &choicestack, &bindings); + int success = builtin(database, goal, &goals->next, &bindings); if(!success) goto Backtrack; }else{ @@ -115,7 +114,6 @@ Backtrack: } goals = goals->next; unify(query, goals->goal, resultbindings); - *resultchoicestack = choicestack; return 1; } |