Re: [Haskell-cafe] Learn Prolog...

On Wed, 2007-09-05 at 13:21 +1000, Thomas Conway wrote:

On 9/2/07, Andrew Coppin 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 , 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.