What is XSB?

XSB Logic Programming and Deductive Database System

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. It 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.

Technical Specifications:

• Price: FREE


• Publisher: XSB Development Team


• Supports: In-memory data-oriented applications


• Features: Tabled resolution for recursive query computation


• Beneficial for: Parsing, program analysis, model-checking, data mining, diagnosis, and temporal reasoning

Key Features:

• Easy-to-use logic programming and deductive database system


• Supports multiple threads of computation within a single process


• Efficiently indexes knowledge bases with millions of clauses


• Useful for parsing, program analysis, model-checking, data mining, diagnosis, and temporal reasoning

How Download Works

Go to the Softpas website, press the 'Downloads' button, and pick the app you want to download and install—easy and fast!