Online Help

Online help provides a fast lookup and browsing facility to this manual. The online manual can show predicate definitions as well as entire sections of the manual.

help

  Equivalent to help( help/1) .

help( +What)

  Show specified part of the manual. What is one of:

Examples

apropos( +Pattern)

  Display all predicates, functions and sections that have Pattern in their name or summary description. Lowercase letters in Pattern also match a corresponding uppercase letter. Example:

explain( +ToExplain)

  Give an explanation on the given `object'. The argument may be any Prolog data object. If the argument is an atom, a term of the form Name/Arity or a term of the form Module:Name/Arity, explain will try to explain the predicate as well as possible references to it.

explain( +ToExplain, -Explanation)

  Unify Explanation with an explanation for ToExplain. Backtracing yields further explanations.