ECLiPSe Constraint Logic Programming System
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Deductive Database with Datalog, SQL, RA, TRC, DRC
illness_index A Computer Program of a Medical Textbook.
Implements the stable model semantics without grounding.
Syllog is a system for teaching logic, with anonymous answer logging
An OrBAC policy editor
A Java front-end to the dnrDALMAS Prolog Module.
A general-level Prolog implementation of the DALMAS architecture.
A cross platform audio inteface
TuCSoN tuple-based coordination middleware
Goal-directed answer-set programming
A 100% Java Warren Abstract Machine implementation.
IMDb Relational Dataset Generator
Closing the gap between Space and Semantics