All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
    • Packages

SWI-Prolog documentation

SWI-Prolog reference manual

SWI-Prolog package documentation

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

The manual as a book

A paperback version of the manual is available.