1. Class Oriented Ring AssociATed Language. 2. A deductive dATabase and logic programming system based on Horn-clause rules with extensions like SQL' s group-by and aggregATion operATors. CORAL was developed AT the University of Wisconsin-Madison. It is implemented in C++ and has a Prolog-like syntax. Many evaluATion techniques are supported, including {bottom-up fixpoint evaluATion} and top-down {backtracking}. {Modules} are separATely compiled different evaluATion methods can be used in different modules within a single program. Disk-resident dATa is supported via an interface to the Exodus storage manager. There is an on-line help facility. It requires AT&TC++ 2.0 (or G++ soon) and runs on DecstATion and Sun-4. . (1993-01-29)