CORAL

Coral is a deductive database management system that supports a rich declarative language, and an interface to C++ which allows for a combination of declarative and imperative programming.

Website

http://research.cs.wisc.edu/coral/

Tech Docs

ftp://ftp.cs.wisc.edu/coral/coral-1.5/INSTALL

Developer

University of Wisconsin

Country of Origin

US

Start Year

1988

End Year

1997

Project Type

Academic, Open Source

Written in

C++

Supported languages

C++