[Haskell-cafe] Re: Interesting feature

[David Overton]

On 08/07/2008, Benjamin L. Russell <DekuDekuplex at yahoo.com> wrote:
>  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