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)