Mercury

University of Melbourne, 1994. First release 1995.

A purely declarative logic language with higher order features and a strong type system. Prolog-like syntax.

"The Implementation of Mercury, An Efficient Purely Declarative Logic Programming Language", Zoltan Somogyi et al, Proceedings of the ILPS 1994 Postconference Workshop on Implementation Techniques for Logic Programming Languages, Syracuse, NY.