English Dictionary
◊ CORAL
coral
adj : of a strong pink to yellowish-pink color
n 1: a variable color averaging a deep pink
2: the hard stony skeleton of a Mediterranean coral that has a
delicate red or pink color and is used for jewelry [syn: {red
coral}, {precious coral}]
3: unfertilized lobster roe; reddens in cooking; used as
garnish or to color sauces
4: marine colonial polyp characterized by a calcareous
skeleton; masses in a variety of shapes often forming
reefs
English Computing Dictionary
◊ CORAL
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)