Overview

• Starting SWI-Prolog from the Unix Shell
  • Command Line Options
• GNU Emacs Interface
• Online Help
• Query Substitutions
  • Limitations of the History System
• Reuse of toplevel bindings
• 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