support 'h' to print help message during toplevel interaction

This commit is contained in:
Markus Triska
2020-03-15 13:24:28 +01:00
parent 7ff11dce35
commit 17a448e045
2 changed files with 16 additions and 0 deletions

View File

@@ -196,10 +196,21 @@
'$read_input'(ThreadedGoals, NewVarList)
; C == (';') ->
nl, write('; '), false
; C == h ->
'$help_message',
'$read_input'(ThreadedGoals, NewVarList)
; C == '.',
nl, write(' ...'), nl
).
'$help_message' :-
nl, nl,
write('SPACE, "n" or ";": next solution, if any\n'),
write('".": 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').
'$gather_query_vars'([_ = Var | Vars], QueryVars) :-
( var(Var) ->
QueryVars = [Var | QueryVars1],