Contents

• Library Utilities
  • List Processing
  • Attributed Variables
  • Asserting Dynamic Code
  • Ground, Numbervars, Subsumption, Variant
  • Lower-Level I/O
  • String Manipulation
  • Script Writing Utilities
  • Communication with Subprocesses
  • Socket I/O
  • Arrays
  • Asserts/Retracts using Tries
  • Low-level Trie Manipulation Utilities
  • Random Number Generator
  • Scanning in Prolog
  • Other Libraries
    • AVL Trees
    • Justification
    • Ordered Sets
  
  
• Foreign Language Interface
  • Compiler Directives for Foreign C Modules
  • Foreign Modules That Link Dynamically with Other Libraries
  • Passing Data between XSB and C
    • Exchanging Basic Data Types
    • Exchanging Complex Data Types
  • High Level Foreign Predicate Interface
    • Declaration of high level foreign predicates
  • Compiling Foreign Modules on Windows and under Cygwin
  
  
• Calling XSB from C
  • C Functions for Calling XSB
  • The Variable-length String Data Type
  • Passing Data into an XSB Module
  • Creating an XSB Module that Can be Called from C
  
  
• XSB - Oracle Interface
  • Introduction
    • Interface features
  • Installation
  • Using the Interface
    • Connecting to and disconnecting from Oracle
    • Accessing an Oracle Table: Relation Level Interface
    • View Level Interface
    • Connecting to an SQL query
    • Insertions and deletions of rows
    • Input and Output arrays
    • Handling NULL values
    • Data dictionary
    • Other database operations
    • Interface Flags
    • Transaction management
    • SQLCA interface
    • Datalog
    • Guidelines for application developers
  • Demo
  • Limitations
  • Error msgs
  • Future work
  
  
• XSB-ODBC Interface
  • Introduction
  • Using the Interface
    • Connecting to and Disconnecting from Data Sources
    • Accessing Tables in Data Sources Using SQL
    • Accessing Tables in Data Sources through the Relation Level
    • Using the Relation Level Interface
    • The View Level Interface
    • Insertions and Deletions of Rows through the Relational Level
    • Access to Data Dictionaries
    • Other Database Operations
    • Transaction Management
    • Handling NULL Values
    • Interface Flags
    • Datalog
  • Limitation and Guidelines for Application Developers
  • Error messages
  • Notes on specific ODBC drivers
  
  
• Introduction to XSB Packages
• XSB's POSIX Regular Expression and Wildcard Matching Packages
  • regmatch: Regular Expression Matching and Substitution
  • wildmatch: Wildcard Matching and Globing
  
  
• perlmatch: Using Perl as a Pattern Matching and String Substitution Server
  • Iterative Pattern Matching
  • Bulk Matching
  • String Substitution
  • Unloading Perl
  
  
• libwww: The XSB Internet Access Package
  • Features and Configuration
  • Accessing Internet with Libwww
    • Syntax
    • Request Parameters
    • Response Parameters
    • Result of a Libwww Call
    • Status Code
  • Example
  • Special Notes about Parsing XML
  
  
• clpr: The CPL(R) package
• Other XSB Packages
  • Summary of flora2: Programming with Flora
  • Summary of xmc: Model-checking with XSB
  • Summary of xsbdoc: A Documentation System for XSB based on lpdoc
  • Summary of XASP: Answer Set Programming using XSB
  • slx: Extended Logic Programs under the Well-Founded Semantics
  • gap: Generalized Annotated Programs
  
  
• Bibliography
• Index
• About this document ...