Successor of LDL. "Sets and Negation in a Logic Database Language", C. Beeri et al, in Proc 6th Ann ACM Symp Princs Database Sys (1987), pp.21- 37.
Updated: Wed Dec 7 08:50:55 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985