LDL1

A successor of LDL.

"Sets and Negation in a Logic Database Language", C. Beeri et al, in Proceedings of the 6th Annual ACM Symposium on Principles of Database Systems (1987), pp.21-37.