From 2c3e688c3f779f0abfaad887f13ab2b70c9f814a Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 01:58:24 +0000
Subject: Add backtracking to the evaluator. This means we have to keep track
 of choicepoints which is implemented the easy but wasteful way for now.

I have also added a number which is used to differentiate variables from different application of the clauses.
---
 prettyprint.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'prettyprint.c')

diff --git a/prettyprint.c b/prettyprint.c
index 499fc84..fb6bcb0 100644
--- a/prettyprint.c
+++ b/prettyprint.c
@@ -19,9 +19,11 @@ prettyprint(Term *t)
 		free(args);
 		break;
 	case AtomTerm:
-	case VariableTerm:
 		result = runesmprint("%S", t->text);
 		break;
+	case VariableTerm:
+		result = runesmprint("%S(%ulld)", t->text, t->clausenr);
+		break;
 	case NumberTerm:
 		if(t->numbertype == NumberInt)
 			result = runesmprint("%lld", t->ival);
-- 
cgit v1.2.3