XSB A programming system to help you with your work.
Download

XSB Ranking & Summary

XSB Tags

development develop database system programming system deductive system deductive

XSB Description

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.

XSB Related Software