- Documentation
- Reference manual
- Introduction
 - Overview
 - Initialising and Managing a Prolog Project
 - Built-in Predicates
 - SWI-Prolog extensions
 - Modules
 - Constraint Logic Programming
 - CHR: Constraint Handling Rules
 - Multithreaded applications
 - Coroutining using Prolog engines
 - Foreign Language Interface
 - Generating Runtime Applications
 - The SWI-Prolog library
 - Hackers corner
 - Compatibility with other Prolog dialects
 - Glossary of Terms
 - SWI-Prolog License Conditions and Tools
 - Summary
 - Bibliography
 
 - Packages
 
 - Reference manual