CORAL
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&T C++ 2.0 (or G++ soon) and
runs on Decstation and Sun-4.
ftp://ftp.cs.wisc.edu/.
(1993-01-29)
Nearby terms:
copy protection « copyright « copywronged « CORAL
» CORAL 66 » CORBA » CORBIE
|