[Haskell-cafe] Re: Interesting feature
david at overtons.id.au
Tue Jul 8 02:59:00 EDT 2008
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:
More information about the Haskell-Cafe