SWI-Prolog documentation

SWI-Prolog reference manual

SWI-Prolog package documentation

The manual as a book

A paperback version of the manual is available.