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 {Sun4}.
{(ftp://ftp.cs.wisc.edu/)}
(1993-01-29)