Mercury is a *(logic) *(programming language) more declarative than _(Prolog).
<BR>--seaslug

<UL CLASS="links">
<LI><A HREF="http://www.cs.mu.oz.au/research/mercury/">The Mercury Project</A></LI>
</UL>