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.
http://research.cs.wisc.edu/coral/
ftp://ftp.cs.wisc.edu/coral/coral-1.5/INSTALL
University of Wisconsin
US
1988
1997
Academic, Open Source
C++