XSB 3.5.0

Accessible, powerful and user-friendly programming and deductive database system that can be used to improve your development process
XSB was created as an easy-to-use, handy logic programming and deductive database system.

Tabled resolution is useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. Users interested in Parsing, Program Analysis, Model-checking, Data Mining, Diagnosis and Temporal Reasoning may benefit from XSB.

XSB supports a configuration that allows multiple threads of computation within a single process under the Posix model.

XSB contains a variety of features to support in-memory data-oriented applications. Using these features, knowledge bases with millions of clauses can be quickly loaded and efficiently indexed.

last updated on:
July 7th, 2014, 15:45 GMT
file size:
12.1 MB
developed by:
XSB Development Team
license type:
operating system(s):
Windows XP / Vista / Vista 64 bit / 7 / 7 64 bit / 8 / 8 64 bit
C: \ Programming \ Other Programming Files


In a hurry? Add it to your Download Basket!

user rating



Rate it!
1 Screenshot
XSB - You can load the application and access all the functions from the Command Line.
What's New in This Release:
  • Enhancements:
  • XSB's character-level I/O has been significantly rewritten and expanded. It now supports as encodings UTF-8, CP-1252, and LATIN-1; with UTF-8 as the default encoding on UNIX-style systems, and CP-1252 as the default encoding on Windows sytems. Various ISO predicates regarding encodings are also supported such as character_set/1. Finally, other character-based I/O predicates such as get_XXX, peek_XXX, and put_XXX have been thoroughly rewritten and should be both ISO-compliant and more efficient.
  • XSB now has an alternative means of tabling ground structures called "hash-consing" or "interning". This feature can greatly improve performance when tabling is used for structural recursion.
  • XSB now cleanly compiles under the latest version of Mac OSX which uses LLVM's clang compiler.
read full changelog

Add your review!