[consult].
'Command examples:       CHECK|: consult.'.
'                        CHECK|: consult \'dt.rls\'.'.
''.
'This command declares a new file of user-defined proof rules to the'.
'checker.  It is scanned, to check that all rules are well-formed and do'.
'not violate the restrictions placed on rules by the checker, so it may'.
'take a little while before it succeeds.  Watch out for any messages, as'.
'these may indicate syntax (or other) errors in your rulefile.  If more'.
'than one file of rules is to be submitted to the checker for use in the'.
'proof attempt, the order in which they are declared to the checker with'.
'this command will determine the order in which the files are searched,'.
'with earlier-declared files being searched first.  The filename (for'.
'which, if omitted, the user is prompted) should be a Prolog atom.'.
