Ciao Command-line Help
Author(s): Ciao Development Team, Jose F. Morales.
Formatted help for the ciao and ciao-boot.sh (ciao-boot.bat) command line tool
Usage and interface
- Library usage:
:- use_module(ciaobld(ciaocl_help)). - Exports:
- Predicates:
show_help/2, show_help_cmd/2.
- Predicates:
- Imports:
Documentation on exports
PREDICATE
Usage:show_help(Level,Prof)
Show help for the command line interface. Level specifies the detail level and Prof the command line profile (useful when the same command may act in different ways).
- Call and exit should be compatible with:
(ciaocl_help:help_level/1)ciaocl_help:help_level(Level)
(basic_props:atm/1)Prof is an atom. - The following properties should hold at call time:
(term_typing:nonvar/1)Level is currently a term which is not a free variable.
(term_typing:nonvar/1)Prof is currently a term which is not a free variable.
PREDICATE
Usage:show_help_cmd(Cmd,Prof)
Show detailed help on the specified command Cmd (shows help of the command group)