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

small simplifications

Browse Source
This commit is contained in:
Markus Triska
2020-04-18 17:40:19 +02:00
parent 988366e37f
commit 6dcefcfb71
1 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/prolog/toplevel.pl
View File

@@ -146,24 +146,22 @@
'$read_input'(ThreadedGoals, NewVarList) :-
get_single_char(C),
( C == w ->
( C = w ->
nl,
write(' '),
'$write_eq'(ThreadedGoals, NewVarList, 0),
'$read_input'(ThreadedGoals, NewVarList)
; C == p ->
; C = p ->
nl,
write(' '),
'$write_eq'(ThreadedGoals, NewVarList, 20),
'$read_input'(ThreadedGoals, NewVarList)
; C == (';') ->
; member(C, [';', ' ']) ->
nl, write('; '), false
; C == (' ') ->
nl, write('; '), false
; C == h ->
; C = h ->
'$help_message',
'$read_input'(ThreadedGoals, NewVarList)
; C == '.' ->
; C = '.' ->
nl, write('; ...'), nl
; '$read_input'(ThreadedGoals, NewVarList)
).