diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 01:58:24 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 01:58:24 +0000 |
| commit | 2c3e688c3f779f0abfaad887f13ab2b70c9f814a (patch) | |
| tree | 0ca93ea97a38864991eeb0097afd1f989e1939b2 /prettyprint.c | |
| parent | d5ce41f05bc322fa2fb4d0eee66080b3b3004853 (diff) | |
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.
Diffstat (limited to 'prettyprint.c')
| -rw-r--r-- | prettyprint.c | 4 |
1 files changed, 3 insertions, 1 deletions
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); |