Next:
Library Utilities
Up:
The XSB System Version
Previous:
The XSB System Version
 
Index
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 ...
Luis Fernando P. de Castro 2003-06-27