A Database System for Metamodeling and Method Engineering
illness_index A Computer Program of a Medical Textbook.
Deductive Database with Datalog, SQL, RA, TRC, DRC
Implements the stable model semantics without grounding.
a reasoning engine for agents and games
C#Prolog -- A Prolog interpreter written in managed C#
IMDb Relational Dataset Generator
niCom Collaborating Environment
Teaching planner tool to help universities in developing countries