On 08/07/2008, Benjamin L. Russell
If you are interested in logic programming in a language with some similarity to Haskell, you might also wish to investigate the strongly typed logic programming language Godel (see http://www.cs.bris.ac.uk/~bowers/goedel.html). When I first saw an example of the code, I was surprised that, unlike Prolog, the language was strongly typed, and supported modules, and (albeit very loosely) resembled Haskell, except that it was a logic programming language.
While we're plugging logic programming languages, you might also be interested in Mercury (http://www.cs.mu.oz.au/research/mercury/). This is a logic/functional language with Prolog-like syntax, but with a Haskell-like type system, including Hindley-Milner types and type classes. IMHO Mercury is even closer to Haskell than Goedel. Also, see my recent attempts at (constraint) logic programming in Haskell: http://overtond.blogspot.com/2008/07/pre.html http://overtond.blogspot.com/2008/07/haskell-sudoku-solver-using-finite.html David