Introduction
Status
Should you be Using SWI-Prolog?
Version 1.5 Release Notes
Version 1.6 Release Notes
Portability
Acknowledgements
Overview
Starting SWI-Prolog from the Unix Shell
Command Line Options
GNU Emacs Interface
Online Help
Query Substitutions
Limitations of the History System
Overview of the Debugger
Compilation
Environment Control
Saved States
Types of Saved States and Portability
Save Predicates
Automatic loading of libraries
Notes on Automatic Loading
Garbage Collection
Syntax Notes
System Limits
Limits on Memory Areas
Other Limits
Reserved Names