From ff418c798b580204f6fea5512adc36835f8b7efa Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 20:51:02 +0000 Subject: Add comparison predicates --- fns.h | 1 + 1 file changed, 1 insertion(+) (limited to 'fns.h') 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 *); -- cgit v1.2.3