Implement a bit more of prolog flag predicates set_prolog_flag/2 and current_prolog_flag/2

1 files changed, 4 insertions, 2 deletions

diff --git a/repl.pl b/repl.pl
index 60521df..1a2087a 100644
--- a/repl.pl
+++ b/repl.pl
@@ -52,8 +52,10 @@ write_result([], State) :- write('true'), write_state(State).
 write_result([B|Bs], State) :- write_bindings([B|Bs]), write_state(State).
 
 write_bindings([]).
-write_bindings([B|Bs]) :-
-	write(B),
+write_bindings([Var = Val|Bs]) :-
+	write(Var),
+	write(' = '),
+	writeq(Val),
 	( Bs = []
 	-> true
 	; put_char(','), nl