summaryrefslogtreecommitdiff
path: root/fns.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-16 15:25:01 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-16 15:25:01 +0000
commit480de114963ecee700ece5b8793916726c04b9ab (patch)
tree9c1543307aef92c1c88289a4d07ad4dcbae6b38c /fns.h
parentee65a81ee5b0112ba4480619ca672c569fb28b45 (diff)
Replace the C repl with one written in prolog :)
Diffstat (limited to 'fns.h')
-rw-r--r--fns.h5
1 files changed, 1 insertions, 4 deletions
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 *);