You got my hopes up -- I thought you meant Mercury the programming language (which resembles Prolog and Haskell).