XSB

12.1 MB   1,199 downloads
3.5.0 LGPL    
  not rated
Accessible, powerful and user-friendly programming and deductive database system that can be used to improve your development process

description

download

specifications

changelog

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.
READ MORE   
Last updated on July 7th, 2014
1  
XSB - You can load the application and access all the functions from the Command Line.

0 User reviews so far.

SUBMIT