fix prompt
This commit is contained in:
parent
d21888abc9
commit
841dd3a3e1
@ -161,8 +161,8 @@ true :- true.
|
|||||||
true
|
true
|
||||||
).
|
).
|
||||||
'$read_toplevel'(Goal, Bindings) :-
|
'$read_toplevel'(Goal, Bindings) :-
|
||||||
prompt(_,'?- '),
|
prompt1('?- '),
|
||||||
prompt1('|: '),
|
prompt(_,'|: '),
|
||||||
'$system_catch'('$raw_read'(user_input, Line), prolog, E,
|
'$system_catch'('$raw_read'(user_input, Line), prolog, E,
|
||||||
(print_message(error, E),
|
(print_message(error, E),
|
||||||
( E = error(syntax_error(_), _)
|
( E = error(syntax_error(_), _)
|
||||||
|
Reference in New Issue
Block a user