You are here: irt.org | FOLDOC | 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.
(1993-01-29)
Nearby terms: copyright « copyright symbol « copywronged « CORAL » CORAL 66 » CORBA » CORBIE
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL