Mercury

Created at the University of Melbourne in 1995 by Fergus Henderson, Thomas Conway, and Zoltan Somogyi. A logic-functional language combining Prolog's logic programming with Haskell's type system and purity. Compiles to C for performance.