LDL

"LDL: A Logic-Based Data-Language", S. Tsur et al, Proceedings of VLDB 1986, Kyoto Japan, Aug 1986, pp.33-41.