DDDB: Disjunctive Deductive Database System

This is a demo of a disjunctive deductive database system. It runs in Prolog, with database in University Ingres. This prototype has been implemented by Sibel Adali and Jarek Gryz and is described in:
For the theoretical foundation of this implementation see: