From 3f316c5c9265618fe7095cc39c4cb10909cbe468 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Fri, 16 Jul 2021 20:09:02 +0000 Subject: Implement a bit more of prolog flag predicates set_prolog_flag/2 and current_prolog_flag/2 --- repl.pl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'repl.pl') 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 -- cgit v1.2.3