SWI-Prolog reference manual
SWI-Prolog Regular Expression library SWI-Prolog C-library SWI-Prolog Source Documentation Version 2 SWI-Prolog Unicode library SWI-Prolog YAML library SWI-Prolog Natural Language Processing Primitives Prolog Unit Tests Constraint Query Language A high level interface to SQL databases SWI-Prolog SGML/XML parser SWI-Prolog SSL Interface SWI-Prolog RDF parser mqi -- Python and Other Programming Languge Integration for SWI Prolog Paxos -- a SWI-Prolog replicating key-value store SWI-Prolog HTTP support STOMP -- a SWI-Prolog STOMP client Redis -- a SWI-Prolog client for redis SWI-Prolog binding to BSD libedit SWI-Prolog binding to zlib SWI-Prolog ODBC Interface A C++ interface to SWI-Prolog SWI-Prolog binding to GNU readline Pengines: Web Logic Programming Made Easy Transparent Inter-Process Communications (TIPC) libraries Google's Protocol Buffers Library Managing external tables for SWI-Prolog SWI-Prolog Semantic Web Library 3.0 SWI-Prolog binding to libarchive
A paperback version of the manual is available.