diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 15:25:01 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-16 15:25:01 +0000 |
commit | 480de114963ecee700ece5b8793916726c04b9ab (patch) | |
tree | 9c1543307aef92c1c88289a4d07ad4dcbae6b38c /fns.h | |
parent | ee65a81ee5b0112ba4480619ca672c569fb28b45 (diff) |
Replace the C repl with one written in prolog :)
Diffstat (limited to 'fns.h')
-rw-r--r-- | fns.h | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -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 *); |