Atom

This ambiguous form is most commonly used and shows all matching documents. For example:

?- help(append).

Name / Arity

Give help on predicates with matching Name/Arity. Arity may be unbound.

Name // Arity

Give help on the matching DCG rule (non-terminal)

f(Name/Arity)

Give help on the matching Prolog arithmetic functions.

c(Name)

Give help on the matching C interface function

section(Label)

Show the section from the manual with matching Label.

If an exact match fails this predicates attempts fuzzy matching and, when successful, display the results headed by a warning that the matches are based on fuzzy matching.

If possible, the results are sent through a pager such as the less program. This behaviour is controlled by the Prolog flag help_pager. See section level documentation.

See also

apropos/1 for searching the manual names and summaries.