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