CORAL
Technology Dictionary -> CORALSearch:
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)