Ciao command-line Help

Author(s): The Ciao Development Team, Jose F. Morales.

Formatted help for the ciao and ciao-boot.sh (ciao-boot.bat) command line tool

Usage and interface

Documentation on exports

PREDICATEshow_help/2

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).

Usage:show_help_cmd(Cmd,Prof)

Show detailed help on the specified command Cmd (shows help of the command group)

    Documentation on imports

    This module has the following direct dependencies: