Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]    No cookies    No scripts    No ads    No referrer    Show this form  

The XSB Programming System (Version 2.2 )

In collaboration with Katholieke Universiteit Leuven and Universidade Nova de Lisboa

Current version: 2.2, released on April 20, 2000
Previous version: 2.1, released on November 25, 1999
 

• About XSB
• Release Notes
   Please read the backward incompatibility notes!
• Download the System
• The XSB Programmers' Manual: Volume 1 and Volume 2
  • Postscript version:  Volume 1 and Volume 2
  • PDF version: Volume 1 and Volume 2
• The FLORA (an XSB-based F-logic compiler) manual:
  • Postscript version
  • PDF version
• Other Documentation
• How to Use XSB DLL from Visual Basic
• Acknowledgement of Support

For further information about our group, see the XSB Research Group homepage. If you'd like to know more about XSB, or if you have any suggestions, send email to xsb-contact@cs.sunysb.edu.

If you have any problems with this page, please send us mail. 

$Date: 2000/04/20 21:12:34 $