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