summaryrefslogtreecommitdiff
path: root/fns.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 20:51:02 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 20:51:02 +0000
commitff418c798b580204f6fea5512adc36835f8b7efa (patch)
tree71c24b829c2a037653e302adb680f4237fc2a6bb /fns.h
parenta8b1fadd149126e9c8d3081a56d206812211f1e6 (diff)
Add comparison predicates
Diffstat (limited to 'fns.h')
-rw-r--r--fns.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/fns.h b/fns.h
index 54db8dc..6d545e9 100644
--- a/fns.h
+++ b/fns.h
@@ -16,6 +16,7 @@ Term *mkstring(Rune *);
/* eval.c */
int evalquery(Term *, Term *, Binding **);
+int unify(Term *, Term *, Binding **);
/* repl.c */
void repl(Term *);