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

Library usage:
:- use_module(ciaobld(ciaocl_help)).
Exports:
- Predicates:
  show_help/2, show_help_cmd/2.

Documentation on exports

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.

PREDICATEshow_help_cmd/2

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:

System library modules:
datafacts_rt, aggregates, lists, stream_utils, system.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, isomodes, regtypes, dcg, fsyntax, datafacts.