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.