From 58e0109ee9ed3aa6ac2e6b0ed621820118a3d1de Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 8 Jul 2021 01:40:24 +0000 Subject: Add clause/2 predicate --- eval.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'eval.c') diff --git a/eval.c b/eval.c index 3201286..d482b7d 100644 --- a/eval.c +++ b/eval.c @@ -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); -- cgit v1.2.3