diff options
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 *); |