From d5ce41f05bc322fa2fb4d0eee66080b3b3004853 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 00:07:49 +0000 Subject: 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 --- fns.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'fns.h') 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 -- cgit v1.2.3