Deductive Database with Datalog, SQL, RA, TRC, DRC
Euler Yet another proof Engine
Syllog is a system for teaching logic, with anonymous answer logging
PyCLP is a Python library to interface ECLiPSe Constraint System
Short C++/Java/C#/Python benchmark
A Java front-end to the dnrDALMAS Prolog Module.
A general-level Prolog implementation of the DALMAS architecture.
A cross platform audio inteface
(download) Linux Adequate"available approximately five days"
IMDb Relational Dataset Generator