Contents

• Contents
• Introduction
• Getting Started with XSB
  • Installing XSB under UNIX
    • Possible Installation Problems
  • Installing XSB under Windows
    • Using Cygnus Software's CygWin32
    • Using Microsoft Visual C++
  • Invoking XSB
  • Compiling XSB programs
  • Sample XSB Programs
  • Exiting XSB
• System Description
  • Entering and Exiting XSB
  • The System and its Directories
  • The Module system of XSB
  • The Dynamic Loader and its Search Path
    • Changing the Default Search Path and the Packaging System
    • Dynamically loading predicates in the interpreter
  • Command Line Arguments
  • Memory Management
  • Compiling and Consulting
  • The Compiler
    • Invoking the Compiler
    • Compiler Options
    • Specialisation
    • Compiler Directives
    • Inline Predicates
• Syntax
  • Terms
    • Integers
    • Floating-point Numbers
    • Atoms
    • Variables
    • Compound Terms
    • Lists
  • From HiLog to Prolog
  • Operators
• Using Tabling in XSB: A Tutorial Introduction
  • XSB as a Prolog System
  • Tabling in Definite Programs
  • Stratified Normal Programs
    • Non-stratified Programs
    • On Beyond Zebra: Implementing Other Semantics for Non-stratified Programs
  • Tabled Aggregation
    • Local Evaluation
• Standard Predicates
  • Input and Output
    • File Handling
    • Character I/O
    • Term I/O
  • Special I/O
  • Convenience
  • Negation and Control
  • Meta-Logical
  • All Solutions and Aggregate Predicates
    • Tabling Aggregate Predicates
  • Comparison
  • Meta-Predicates
  • Information about the State of the Program
  • Modification of the Database
  • Execution State
  • Tabling
• Debugging
  • High-Level Tracing
  • Low-Level Tracing
• Definite Clause Grammars
  • General Description
  • Translation of Definite Clause Grammar rules
  • Definite Clause Grammar predicates
  • Two differences with other Prologs
  • Interaction of Definite Clause Grammars and Tabling
• Restrictions and Current Known Bugs
  • Current Restrictions
  • Known Bugs
• GPP - Generic Preprocessor
  • Description
  • Syntax
  • Options
  • Syntax Specification
  • Evaluation Rules
  • Meta-macros
  • Examples
  • Advanced Examples
  • Author
• Standard Predicates and Functions
  • List of Standard Predicates
  • List of Standard Functions
  • List of Standard Operators
• List of Module names
  • In syslib
  • In cmplib
• Bibliography
• Index