Haskell vs Prolog was [Haskell-cafe] Re: Is Haskell a 5GL?
david.curran at gmail.com
Tue Sep 26 08:20:38 EDT 2006
Here is a paper on how to do logic programming in Haskell
Deals with a logic puzzle and how the haskell and prolog solutions compare
In terms of automated theorem proving here is another paper
On 26/09/06, Pasqualino 'Titto' Assini <tittoassini at gmail.com> wrote:
> > -----Original Message-----
> > From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-
> > bounces at haskell.org] On Behalf Of Christoph Herrmann
> > Sent: 25 September 2006 21:22
> > To: Max Vasin
> > Cc: haskell-cafe at haskell.org
> > Subject: Re: [Haskell-cafe] Re: Is Haskell a 5GL?
> > What Prolog really provides concerning automatic problem solving
> > is little: equation solving in term algebra; you can simulate that
> > in Haskell without much effort.
> Could you, or anyone else, elaborate a bit on how to emulate Prolog in
> For example, I remember that in Prolog you can write a concat function that
> can be used to concatenate two lists as well as to split them:
> concat([1,2] ,[3,4] ,Z) --> Z = [1,2,3,4]
> concat([1,2] ,Y ,[1,2,3,4]) --> Y = [3,4]
> Now, that's powerful. How would you do that in Haskell?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
It chews up lies and spits out the gristle of truth
More information about the Haskell-Cafe