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