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