 <A HREF="http://www.cs.wisc.edu/coral/">Coral - A Deductive Database System</A>   <LI>
