rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

toplevel: add more Stop=continue, remove nesting

Browse Source 
Signed-off-by: Stephan Renatus <stephan@styra.com>
This commit is contained in:
Stephan Renatus
2024-11-03 13:31:47 +01:00
parent 620077d8c1
commit e78914219e
1 changed files with 27 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/toplevel.pl
View File

@@ -352,7 +352,7 @@ read_input(LeafAnswer, Stop) :-
( member(C, ['\n', .]) -> ( member(C, ['\n', .]) ->
nl, write('; ... .'), nl, nl, write('; ... .'), nl,
Stop = stop Stop = stop
; ( C = w -> ; C = w ->
nl, nl,
write(' '), write(' '),
write_leaf_answer(LeafAnswer, [depth(deep)]), write_leaf_answer(LeafAnswer, [depth(deep)]),
@@ -363,21 +363,22 @@ read_input(LeafAnswer, Stop) :-
write_leaf_answer(LeafAnswer, [depth(shallow)]), write_leaf_answer(LeafAnswer, [depth(shallow)]),
read_input(LeafAnswer, Stop) read_input(LeafAnswer, Stop)
; member(C, [';', ' ', n]) -> ; member(C, [';', ' ', n]) ->
Stop = continue, nl, write('; '),
nl, write('; ') Stop = continue
; C = h -> ; C = h ->
help_message, help_message,
read_input(LeafAnswer, Stop) read_input(LeafAnswer, Stop)
; C = a -> ; C = a ->
bb_put('$report_all', true), bb_put('$report_all', true),
nl, write('; ') nl, write('; '),
Stop = continue
; C = f -> ; C = f ->
bb_get('$answer_count', Count), bb_get('$answer_count', Count),
More is 5 - Count mod 5, More is 5 - Count mod 5,
bb_put('$report_n_more', More), bb_put('$report_n_more', More),
nl, write('; ') nl, write('; '),
Stop = continue
; read_input(LeafAnswer, Stop) ; read_input(LeafAnswer, Stop)
)
). ).
needs_bracketing(Value, Op) :- needs_bracketing(Value, Op) :-