tool: Coral

---

Language:	Prolog (variant)
Version:	1.5.2
Parts:	interpreter, interface(C++), documentation
Author:	Raghu Ramakrishnan, et.al.
Location:	http://www.cs.wisc.edu/coral/
Description:	The CORAL deductive database/logic programming system was developed at the University of Wisconsin-Madison. The CORAL declarative language is based on Horn-clause rules with extensions like SQL's group-by and aggregation operators, and uses a Prolog-like syntax. * Many evaluation techniques are supported, including bottom-up fixpoint evaluation and top-down backtracking. * A module mechanism is available. 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
Requires:	g++
Contact:	Shaun Flisakowski <flisakow@cs.wisc.edu>
Ports:	Sun4, Sun Solaris, Hpux, Linux
Status:	Frozen - bug fixes only.
Updated:	January 29th, 1993

language: Prolog

category: database summary, or expanded.

category: logic programming languages summary, or expanded.