Displays facts stored in the fact-list.
Syntax
(facts [<module-name>]
[<start-integer-expression>
[<end-integer-expression>
[<max-integer-expression>]]])
If <module-name> is not specified, then only facts visible
to the current module will be displayed. If <module-name>
is specified, then only facts visible to the specified module
are displayed. If the symbol * is used for <module-name>,
then facts from any module may be displayed. If the start argument
is specified, only facts with factindices greater than or equal
to this argument are displayed. If the end argument is specified,
only facts with factindices less than or equal to this argument
are displayed. If the max argument is specified, then no facts
will be displayed beyond the specified maximum number of facts
to be displayed. This function has no return value.