Add clause/2 predicate

1 files changed, 1 insertions, 5 deletions

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);