Accessible, powerful and user-friendly programming and deductive database system that can be used to improve your development process.
- XSB
- Version :3.5.0
- License :LGPL
- OS :Windows All
- Publisher :XSB Development Team
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.