Merge pull request #1254 from triska/valid_dotdotdot

ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".
This commit is contained in:
Mark Thom
2022-01-28 11:55:52 -07:00
committed by GitHub

View File

@@ -330,7 +330,7 @@ read_input(ThreadedGoals, NewVarList) :-
help_message, help_message,
read_input(ThreadedGoals, NewVarList) read_input(ThreadedGoals, NewVarList)
; member(C, ['\n', .]) -> ; member(C, ['\n', .]) ->
nl, write('; ...'), nl nl, write('; ... .'), nl
; read_input(ThreadedGoals, NewVarList) ; read_input(ThreadedGoals, NewVarList)
). ).