shithub: pprolog

Info  •  Files  •  Log

Add a space between printout and ; or .

--- a/repl.pl

+++ b/repl.pl

@@ -56,7 +56,7 @@

 	).

 eval_and_print(Goal, _, _) :-

 	\+ found_a_solution,

-	write('false.'),

+	write('false .'),

 	nl.

 rewrite_equations(Eqs0, Eqs) :-

@@ -82,8 +82,8 @@

 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]) :-