Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

CORAL

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.

(ftp://ftp.cs.wisc.edu/).

(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

©2018 Martin Webb