From ff418c798b580204f6fea5512adc36835f8b7efa Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 20:51:02 +0000
Subject: Add comparison predicates

---
 eval.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'eval.c')

diff --git a/eval.c b/eval.c
index 3a6ab38..3477141 100644
--- a/eval.c
+++ b/eval.c
@@ -6,7 +6,6 @@
 
 Goal *addgoals(Goal *, Term *);
 Term *findclause(Term *, Term *, Binding **);
-int unify(Term *, Term *, Binding **);
 int equalterms(Term *, Term *);
 void applybinding(Term *, Binding *);
 Goal *copygoals(Goal *);
@@ -77,6 +76,7 @@ Retry:
 Backtrack:
 				if(choicestack == nil)
 					return 0;
+				print("Backtracking..\n");
 				Choicepoint *cp = choicestack;
 				choicestack = cp->next;
 				/* freegoals(goals) */
-- 
cgit v1.2.3