Include interactive top level keybindings in help text

[constraintAutomaton]

The Scryer Prolog top-level is interactive and supports several query navigation commands:

• Enter: Display the first result and end execution
• a: Display all results
• Space: Show the next result
• Up arrow: Recall the previously entered query
• and Others (I think)

It would be helpful if the binary's help command (-h, --help) included documentation for these commands.

[bakaq]

There is already documentation about that if you press h in a query:

?- (X = 1; X = 2).
   X = 1

SPACE, "n" or ";": next solution, if any
RETURN or ".": stop enumeration
"a": enumerate all solutions
"f": enumerate the next 5 solutions
"h": display this help message
"w": write terms without depth limit
"p": print terms with depth limit


;  X = 2.

However, this is also not documented anywhere if I'm not mistaken.

[constraintAutomaton]

Oh, I did not know, just adding this to the -h flag would be nice.

[jjtolton]

I think this is a good idea.

[triska]

Please see the discussion in #3155. As mentioned there, I think an info page would be ideal, it is a huge plus of (for example) the SICStus documentation that it can be conveniently browsed and searched in Emacs.

The -h output could mention the info manual, where that and also the libraries and other issues can be explained more fully.

[jjtolton]

Please see the discussion in #3155. As mentioned there, I think an info page would be ideal, it is a huge plus of (for example) the SICStus documentation that it can be conveniently browsed and searched in Emacs.

The -h output could mention the info manual, where that and also the libraries and other issues can be explained more fully.

Agreed, an info page would probably be better. But I think that it will be very difficult to get consensus on an info page haha.