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
    • Specialization
    • 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
  • Definite Programs
    • Tabling Strategies
    • Tabling Directives and Declarations
    • Interaction Between Prolog Constructs and Tabling
    • Potential Pitfalls in Tabling
  • Normal 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
  • Evaluating Arithmetic Expressions through is/2
    • Evaluable Functors for Arithmetic Expressions
  • 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
    • The storage Module: Associative Arrays and Backtrackable Updates
  • Execution State
  • Exception Handling
  • Tabled Predicate Manipulations
    • Operators for Declaring and Modifying Tabled Predicates
    • Predicates for Table Inspection
    • Deleting Tables and Table Components
  
  
• Hooks
  • Adding and Removing Hooks
  • Hooks Supported by XSB
  
  
• Debugging
  • High-Level Tracing
  • Low-Level Tracing
  
  
• Definite Clause Grammars
  • General Description
  • Translation of Definite Clause Grammar rules
    • Definite Clause Grammars and Tabling
  • Definite Clause Grammar predicates
  • Two differences with other Prologs
  
  
• 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
  
  
• Bibliography
• Index
• About this document ...