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