3.2 Prolog Manuals

The manual for SWI-prolog can be accessed from the SWI-prolog Help menu.