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