<Name>/<Arity> | Give help on specified predicate |
<Name> | Give help on named predicate with any arity or C interface function with that name |
<Section> | Display
specified section. Section numbers are dash-separated numbers: 2-3
refers to section 2.3 of the manual. Section numbers are obtained using apropos/1. |
Examples:
?- help(assert). | Give help on predicate assert |
?- help(3-4). | Display section 3.4 of the manual |
?- help('PL_retry'). | Give help on interface function PL_retry() |
See also apropos/1 and the SWI-Prolog home page at http://www.swi-prolog.org, which provides a FAQ, an HTML version of the manual for online browsing, and HTML and PDF versions for downloading.