Search Results for "xsb"

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

Simple Sokoban is a (simple) Sokoban game aimed at playability and portability across systems. It is written in ANSI C89, using SDL for user interactions. I developed it natively under x86_64 Linux, but it should compile just fine on virtually anything that has a C compiler and the SDL library.

EntrepotPhage is a Sokoban like game with 3d rendering. It is provided with 30 levels distributed in 3 difficulty levels. It use the .XSB file format. So you can easily add your own levels or download some levels on the internet.

EVOLP/R is a logic program updates system, implemented in XSB Prolog. Reference: A. Saptawijaya, L. M. Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates, in: K. McMillan, A. Middeldorp, A. Voronkov (eds.), Procs. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR-19), Springer LNCS ARCoSS series, December 15-19, Stellenbosch, South Africa, 2013.

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

XSBDotNet is a .NET wrapper for the XSB Prolog Engine. It supports both the single-threaded and multithreaded engines and provides object-oriented classes for a complete .NET experience.

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.