[Haskell-cafe] Learn Prolog...

[Derek Elkins]

On Sun, 2007-09-02 at 22:52 +0800, Hugh Perkins wrote:
> Sooo.. what is the modern equivalent of Prolog?

Because no one has said it quite this way:
The modern equivalent of Prolog is Prolog.

Most of the advancement in logic programming has either been folded back
into Prolog or has been advanced within Prolog.  There are, for example,
constraint systems as add-ons to various Prolog implementations.

The theory of logic programming, however, has massively advanced beyond
Prolog producing languages much, much more beautiful than Prolog (not
hard...).  Unfortunately, they have not been made into practical
languages, at least not successfully.  I'm not aware of any real
competitors to Prolog in the logic programming languages space.