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.
|
|