diff options
Diffstat (limited to 'eval.c')
| -rw-r--r-- | eval.c | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -5,8 +5,6 @@ #include "dat.h" #include "fns.h" -Predicate *findpredicate(Predicate *, Term *); -Clause *findclause(Clause *, Term *, Binding **); int equalterms(Term *, Term *); Goal *copygoals(Goal *); Builtin findbuiltin(Term *); @@ -142,9 +140,6 @@ findclause(Clause *clauses, Term *goal, Binding **bindings) { Clause *clause; for(; clauses != nil; clauses = clauses->next){ - if(!clauses->public) - continue; - clause = copyclause(clauses, &clausenr); clausenr++; clause->next = clauses->next; @@ -209,6 +204,7 @@ unify(Term *a, Term *b, Binding **bindings) b->value = right; b->next = *bindings; *bindings = b; + Term *t; for(t = leftstack; t != nil; t = t->next) applybinding(t, b); |