Contents

• • Introduction
    • What Prolog Is For
    • Background
    • An Example Program
  
  
• User's Guide
  • Tutorial
    • Running the Interpreter
    • Built-in Data and Types
    • Unification and Freshness
    • Lists and Namespaces
    • Defining New Types
    • Predicates
    • Definitions
    • Functions
  • Running Prolog
    • Debugging Options
    • Command Line Options
    • Directives
  
  
• Language Reference
  • Syntax
    • Lexical Structure
      • Whitespace
      • Comments
      • Directives
      • Symbols
      • Literals
    • Abstract Syntax
      • Terms
      • Types
      • Formulas
      • Declarations
  • Type System
    • Basic Types
    • Compound Types
    • Polymorphism
  • Language Extensions
  • Libraries
    • Base
    • List
    • Option
  
  
• About this document ...