ENHANCED: the toplevel interaction now supports RETURN as a synonym for "."

This is made possible due to the recent improvements by @notoria.
This commit is contained in:
Markus Triska
2020-04-18 17:47:24 +02:00
parent 6dcefcfb71
commit 98a32790cd
2 changed files with 4 additions and 4 deletions

View File

@@ -168,8 +168,8 @@ predicates it defines. For example, with the program shown above:
; What = pure_world.
```
Press `SPACE` to show further answers, if any exist. Press `.` to
abort the search and return to the toplevel prompt.
Press `SPACE` to show further answers, if any exist. Press `RETURN` or
 `.` to abort the search and return to the toplevel prompt.
Press `h` to show a help message.
To quit Scryer Prolog, use the standard predicate `halt/0`:

View File

@@ -161,7 +161,7 @@
; C = h ->
'$help_message',
'$read_input'(ThreadedGoals, NewVarList)
; C = '.' ->
; member(C, ['\n', .]) ->
nl, write('; ...'), nl
; '$read_input'(ThreadedGoals, NewVarList)
).
@@ -169,7 +169,7 @@
'$help_message' :-
nl, nl,
write('SPACE, "n" or ";": next solution, if any\n'),
write('".": stop enumeration\n'),
write('RETURN or ".": stop enumeration\n'),
write('"h": display this help message\n'),
write('"w": write terms without depth limit\n'),
write('"p": print terms with depth limit\n\n').