Start work on an evaluator. For now it knows how to unify but doesn't know how to handle builtin predicates or how to backtrack

1 files changed, 5 insertions, 1 deletions

diff --git a/fns.h b/fns.h
index 81a2f08..70a1d96 100644
--- a/fns.h
+++ b/fns.h
@@ -5,9 +5,13 @@ Term *parse(int);
 Rune *prettyprint(Term *);
 
 /* misc.c */
+Term *copyterm(Term *);
 Term *appendterm(Term *, Term *);
 int termslength(Term *);
 Term *mkatom(Rune *);
 Term *mkvariable(Rune *);
 Term *mkcompound(Rune *, int, Term *);
-Term *mknumber(int, vlong, double);
\ No newline at end of file
+Term *mknumber(int, vlong, double);
+
+/* eval.c */
+void evalquery(Term *, Term *);
\ No newline at end of file