Deductive Database with Datalog, SQL, RA, TRC, DRC
ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
Syntax tree editor for rapid annotation of existing text
illness_index A Computer Program of a Medical Textbook.
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Syllog is a system for teaching logic, with anonymous answer logging
An OrBAC policy editor