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