diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-20 18:11:18 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-20 18:11:18 +0000 |
| commit | 90664173e5c72d0b31bdfd2c467134b3cfb3623a (patch) | |
| tree | c8d321cc5011cf62082c65ddcb5f6a94e62b33a9 /repl.pl | |
| parent | e6ce8b1d6da2434232b86c7c115d7ed4961e7f5c (diff) | |
Add a space between printout and ; or .
Diffstat (limited to 'repl.pl')
| -rw-r--r-- | repl.pl | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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]) :- |