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
committed by Mark Thom
parent c6a82cbc07
commit 5c4863dfb1
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

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