ref: e5ab41faf611c61878ad792cbaaf0294cd5715dd
dir: /fns.h/
/* parser.c */ Term *parse(int, int); /* prettyprint.c */ Rune *prettyprint(Term *); /* misc.c */ Term *copyterm(Term *, uvlong *); Term *appendterm(Term *, Term *); int termslength(Term *); Term *mkatom(Rune *); Term *mkvariable(Rune *); Term *mkcompound(Rune *, int, Term *); Term *mknumber(int, vlong, double); Term *mkstring(Rune *); /* eval.c */ int evalquery(Term *, Term *, Binding **, Choicepoint **); int unify(Term *, Term *, Binding **); void applybinding(Term *, Binding *); /* repl.c */ void repl(Term *); /* builtins.c */ Builtin findbuiltin(Term *);