help(+What)| <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.