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
and is described in:
For the theoretical foundation of this implementation see:
Sorry, the demonstration is currently disabled.