Ramakrishnan, Raghu; Srivastava, Divesh; Sudarshan, S.; and Praveen Seshadri, "The CORAL Deductive System"

(1994) The VLDB Journal, Special Issue on Prototypes of Deductive Database Systems, 3(2) April 1994  

Languages mentioned CORAL {1993} Language for deductive database