XSB

  •        0

Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.

http://xsb.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

Prolog Development Tools (ProDT)


ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog

F-OWL


Implemented in Flora-2/XSB, F-OWL is an inference engine for the standard Web Ontology Language OWL. A set of Java API is provided for applications to assert and query OWL ontology statements.

X-sb - X-SpaceBuild Enchancement


Projekt rozszerzający możliwości SpaceBuild

Asbpa - Evaluating Answer Set Semantics for programs with bounded predicate arities within polynomia


This project provides an architecture and implementation of the evaluation of logic programs with bounded predicate arities which guarantees to be in polynomial space complexity bound. The implementation utilizes current ASP solvers (in this case, dlv) and Prolog systems (in this case, XSB) as the back-end solver components in the evaluation steps. The implementation was done as part of the work leading to the Master Thesis titled: "Evaluation of Answer Set Programs with Bounded Predicate Aritie

Etalis - Event-driven Transaction Logic Inference System


ETALIS is an open source system for Complex Event Processing with two accompanied languages called: ETALIS Language for Events (ELE) and Event Processing SPARQL (EP-SPARQL). ETALIS is based on a declarative semantics, grounded in Logic Programming. Complex events are derived from simpler events by means of deductive rules. Due to its root in logic, ETLAIS also supports reasoning about events, context, and real-time complex situations (i.e., Knowledge-based Event Processing). ETALIS stands for Ev

XSB - XSB Prolog Distribution


XSB Prolog Distribution

Language-XSB - Release history of Language-XSB


Release history of Language-XSB

XSBSparql - A SPARQL suite being developed for XSB Prolog


A SPARQL suite being developed for XSB Prolog

xsb-interface - Ruby interface to the XSB Prolog interpreter


Ruby interface to the XSB Prolog interpreter