[Haskell-cafe] Learn Prolog...

[Derek Elkins]

On Wed, 2007-09-05 at 13:21 +1000, Thomas Conway wrote:
> On 9/2/07, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
> >
> > > One of standard exercices in Prolog is the construction of the
> > > meta-interpreter of Prolog in Prolog. While this is cheating, I recommend
> > > it to you. It opens eyes.
> >
> > Ever tried implementing Haskell in Haskell? ;-)
> 
> In many respects, Haskell is a much higher-level language than Prolog.
> Before you all gasp and go <plonk!>, consider the following argument.
> 
> In Prolog, you need to pay close attention to the exact order in which
> things are executed.

That's because Prolog is -ugly-.  The only reason I recommend it is
because it's archetypical and there aren't any other logic languages
with anywhere near the mindshare/significance.  For a thing of sheer
beauty, see, e.g. LolliMon.