support 'p' to reprint answer with max depth, allowing w -> p -> w ...

2020-03-15 13:16:40 +01:00
parent bef96e231d
commit 7ff11dce35
2 changed files with 13 additions and 3 deletions
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -184,14 +184,19 @@

 '$read_input'(ThreadedGoals, NewVarList) :-
    '$raw_input_read_char'(C),
-    (  C == ('w'), !,
+    (  C == w ->
       nl,
       write('   '),
       '$write_eq'(ThreadedGoals, NewVarList, 0),
       '$read_input'(ThreadedGoals, NewVarList)
-    ;  C == (';'), !,
+    ;  C == p ->
+       nl,
+       write('   '),
+       '$write_eq'(ThreadedGoals, NewVarList, 20),
+       '$read_input'(ThreadedGoals, NewVarList)
+    ;  C == (';') ->
       nl, write(';  '), false
-    ;  C == ('.'), !,
+    ;  C == '.',
       nl, write('   ...'), nl
    ).