Contents

• 1. Library Utilities
  • 1.1 List Processing
    • 1.1.1 Processing Comma Lists
  • 1.2 Attributed Variables
    • 1.2.1 Lowlevel Interface
  • 1.3 constraintLib: a library for CLP
  • 1.4 Ground, Numbervars, Subsumption, Variant
  • 1.5 Formatted Output
  • 1.6 String Manipulation
  • 1.7 Script Writing Utilities
    • 1.7.1 Communication with Subprocesses
  • 1.8 Socket I/O
  • 1.9 Arrays
  • 1.10 The Profiling Library
  • 1.11 Interned Tries and Low-level Trie Manipulation Utilities
    • 1.11.1 A Basic API for Interned Tries
    • 1.11.2 Low-level Trie Manipulation Utilities
  • 1.12 Gensym
  • 1.13 Random Number Generator
  • 1.14 Scanning in Prolog
  • 1.15 XSB Lint
  • 1.16 Miscellaneous Predicates
  • 1.17 Other Libraries
    • 1.17.1 AVL Trees
    • 1.17.2 Justification
    • 1.17.3 Ordered Sets
  
  
• 2. Foreign Language Interface
  • 2.1 Foreign Language Modules
  • 2.2 Lower-Level Foreign Language Interface
    • 2.2.1 Context Parameters
    • 2.2.2 Exchanging Basic Data Types
    • 2.2.3 Exchanging Complex Data Types
  • 2.3 Foreign Modules That Link Dynamically with Other Libraries
  • 2.4 Higher-Level Foreign Language Interface
    • 2.4.1 Declaration of high level foreign predicates
  • 2.5 Compiling Foreign Modules on Windows and under Cygwin
  • 2.6 Functions for Use in Foreign Code
  
  
• 3. Embedding XSB in a Process
  • 3.1 Calling XSB from C
  • 3.2 Examples of Calling XSB
    • 3.2.1 The XSB API for the Sequential Engine Only
    • 3.2.2 The General XSB API
    • 3.2.3 Managing Multiple XSB Threads through the API
    • 3.2.4 Calling Multiple XSB Threads using Multiple C Threads
  • 3.3 A C API for XSB
    • 3.3.1 Initializing and Closing XSB
    • 3.3.2 Passing Commands to XSB
    • 3.3.3 Querying XSB
    • 3.3.4 Obtaining Information about Errors
    • 3.3.5 Thread Management from Calling Programs
  • 3.4 The Variable-length String Data Type
  • 3.5 Passing Data into an XSB Module
  • 3.6 Creating an XSB Module that Can be Called from C
  
  
• 4. XSB-ODBC Interface
  • 4.1 Introduction
  • 4.2 Using the Interface
    • 4.2.1 Connecting to and Disconnecting from Data Sources
    • 4.2.2 Accessing Tables in Data Sources Using SQL
    • 4.2.3 Cursor Management
    • 4.2.4 Accessing Tables in Data Sources through the Relation Level
    • 4.2.5 Using the Relation Level Interface
    • 4.2.6 Handling NULL values
    • 4.2.7 The View Level Interface
    • 4.2.8 Insertions and Deletions of Rows through the Relational Level
    • 4.2.9 Access to Data Dictionaries
    • 4.2.10 Other Database Operations
    • 4.2.11 Transaction Management
    • 4.2.12 Interface Flags
    • 4.2.13 Datalog
  • 4.3 Error messages
  • 4.4 Notes on specific ODBC drivers
  
  
• 5. The New XSB-Database Interface
  • 5.1 Introduction
  • 5.2 Configuring the Interface
  • 5.3 Using the Interface
    • 5.3.1 Connecting to and Disconnecting from Databases
    • 5.3.2 Querying Databases
  • 5.4 Error Handling
  • 5.5 Notes on specific drivers
  
  
• 6. Introduction to XSB Packages
• 7. POSIX Regular Expression and Wildcard Matching
  • 7.1 regmatch: Regular Expression Matching and Substitution
  • 7.2 wildmatch: Wildcard Matching and Globing
  
  
• 8. perlmatch: Perl-based String Manipulation
  • 8.1 Iterative Pattern Matching
  • 8.2 Bulk Matching
  • 8.3 String Substitution
  • 8.4 Unloading Perl
  
  
• 9. sgml and xpath: SGML/XML/HTML Parsers and XPath
  • 9.1 Introduction
  • 9.2 Overview of the SGML Parser
  • 9.3 Predicate Reference
    • 9.3.1 Loading Structured Documents
    • 9.3.2 Handling of White Spaces
    • 9.3.3 XML documents
    • 9.3.4 DTD-Handling
    • 9.3.5 Low-level Parsing Primitives
    • 9.3.6 External Entities
    • 9.3.7 Exceptions
    • 9.3.8 Unsupported features
    • 9.3.9 Summary of Predicates
  • 9.4 XPath support
  
  
• 10. libwww: The XSB Internet Access Package
  • 10.1 Features and Configuration
  • 10.2 Accessing Internet with Libwww
    • 10.2.1 Syntax
    • 10.2.2 Request Parameters
    • 10.2.3 Response Parameters
    • 10.2.4 Result of a Libwww Call
    • 10.2.5 Status Code
  • 10.3 Example
  • 10.4 Special Notes about Parsing XML
  
  
• 11. Constraint Handling Rules
  • 11.1 Introduction
  • 11.2 Syntax and Semantics
    • 11.2.1 Syntax
    • 11.2.2 Semantics
  • 11.3 CHR in XSB Programs
    • 11.3.1 Embedding in XSB Programs
    • 11.3.2 Compilation
  • 11.4 Useful Predicates
  • 11.5 Examples
  • 11.6 CHR and Tabling
    • 11.6.1 General Issues and Principles
    • 11.6.2 Call Abstraction
    • 11.6.3 Answer Projection
    • 11.6.4 Answer Combination
    • 11.6.5 Overview of Tabling-related Predicates
  • 11.7 Guidelines
  • 11.8 CHRd
  
  
• 12. XASP: Answer Set Programming with XSB and Smodels
  • 12.1 Installing the Interface
    • 12.1.1 Installing the Interface under Unix
    • 12.1.2 Installing XASP under Windosw using Cygwin
  • 12.2 The Smodels Interface
  • 12.3 The xnmr_int Interface
  
  
• 13. Other XSB Packages
  • 13.1 Summary of FLORA-2: Programming with FLORA-2
  • 13.2 Summary of xmc: Model-checking with XSB
  • 13.3 Summary of xsbdoc: A Documentation System for XSB based on lpdoc
  • 13.4 slx: Extended Logic Programs under the Well-Founded Semantics
  • 13.5 gap: Generalized Annotated Programs
  
  
• Bibliography
• Index