From 50f83a91220940042962fdb55d07bb03991f52be Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 17:03:25 +0000
Subject: Add support for builtins, and implement true/0, fail/0, call/1, and
 !/0 builtins

---
 fns.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'fns.h')

diff --git a/fns.h b/fns.h
index b8e92ca..d145b81 100644
--- a/fns.h
+++ b/fns.h
@@ -17,4 +17,7 @@ Term *mknumber(int, vlong, double);
 int evalquery(Term *, Term *, Binding **);
 
 /* repl.c */
-void repl(Term *);
\ No newline at end of file
+void repl(Term *);
+
+/* builtins.c */
+Builtin findbuiltin(Term *);
-- 
cgit v1.2.3