CORAL
Appeared in Volume 8/3, August 1995
The CORAL deductive database/LP system (version 1.2) developed at the Univ. of
Wisconsin-Madison is now available via anonymous FTP from
ftp://ftp.cs.wisc.edu . The
distribution includes code compatible with both AT&T C++ (version 2.0 and
later) and g++. CORAL can be compiled and executed on Sun4/Sparc workstations,
DecStations and Hp-700 series workstations.
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.
Some notable features:
- Many evaluation techniques are supported, including bottom-up fixpoint
evaluation and top-down backtracking.
- A module mechanism is available.
- A broad class of programs with negation and set-generation is supported.
- The data types include functor-terms, lists, sets, multisets, arrays and
non-ground terms.
- Disk-resident data is supported via an interface to the Exodus storage
manager.
- An explanation package based on Tk/Tcl .
- A good interface to C++.
See http://www.cs.wisc.edu/coral/ for more information.
Or contact:
Shaun Flisakowski
Email: flisakow@quarg.cs.wisc.edu