From 480de114963ecee700ece5b8793916726c04b9ab Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Fri, 16 Jul 2021 15:25:01 +0000 Subject: Replace the C repl with one written in prolog :) --- fns.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'fns.h') diff --git a/fns.h b/fns.h index caf9c2e..18b47b5 100644 --- a/fns.h +++ b/fns.h @@ -18,16 +18,13 @@ Term *mklist(Term *); Clause *copyclause(Clause *, uvlong *); /* eval.c */ -int evalquery(Term *, Binding **); +int evalquery(Term *); int unify(Term *, Term *, Binding **); void applybinding(Term *, Binding *); Goal *addgoals(Goal *, Term *, Module *); Predicate *findpredicate(Predicate *, Term *); Clause *findclause(Clause *, Term *, Binding **); -/* repl.c */ -void repl(void); - /* builtins.c */ Builtin findbuiltin(Term *); -- cgit v1.2.3