AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
    • Packages

SWI-Prolog documentation

SWI-Prolog reference manual

SWI-Prolog package documentation

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

The manual as a book

A paperback version of the manual is available.