CORAL from FOLDOC

CORAL

 <language>

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.

CORAL supports many evaluation techniques, including bottom-up fixpoint evaluation and top-down backtracking. Modules are separately compiled; different modules in a program can use different evaluation methods. 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++ and runs on Decstation and Sun-4.

Home.

Last updated: 2001-09-18

Nearby terms:

Try this search on Wikipedia, Wiktionary, Google, OneLook.