From 90664173e5c72d0b31bdfd2c467134b3cfb3623a Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Tue, 20 Jul 2021 18:11:18 +0000
Subject: Add a space between printout and ; or .

---
 repl.pl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'repl.pl')

diff --git a/repl.pl b/repl.pl
index c7d3a34..3706437 100644
--- a/repl.pl
+++ b/repl.pl
@@ -56,7 +56,7 @@ eval_and_print(Goal, Vars0, Choicecount) :-
 	).
 eval_and_print(Goal, _, _) :-
 	\+ found_a_solution,
-	write('false.'),
+	write('false .'),
 	nl.
 
 rewrite_equations(Eqs0, Eqs) :-
@@ -82,8 +82,8 @@ remove_identities([A = B|Rest0], Result) :-
 write_state(end) :- write('.'), nl.
 write_state(more).
 
-write_result([], State) :- write('true'), write_state(State).
-write_result([B|Bs], State) :- write_bindings([B|Bs]), write_state(State).
+write_result([], State) :- write('true'), write(' '), write_state(State).
+write_result([B|Bs], State) :- write_bindings([B|Bs]), write(' '), write_state(State).
 
 write_bindings([]).
 write_bindings([Var = Val|Bs]) :-
-- 
cgit v1.2.3