Hello,

I have just uploaded Language::XSB to CPAN, a module to interface
Perl with the XSB system.

http://xsb.sourceforge.net


 From the XSB manual:

   XSB is a research-oriented Logic Programming and Deductive
   Database System developed at SUNY Stony Brook.  In
   addition to providing all the functionality of Prolog, it
   contains features not usually found in Logic Programming
   Systems such as evaluation according to the Well Founded
   Semantics through full SLG resolution, constraint handling
   for tabled programs, a compiled HiLog implementation,
   unification factoring and interfaces to other systems such
   as ODBC, C, Java, Perl, and Oracle.


Bye,

   - Salva