DATALOG Based on
Prolog Derivation of
SQL Derivation of

Language for deductive database

Coral++ 1 Extension of
1