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