[Haskell-cafe] Learn Prolog...

[jerzy.karczmarczuk at info.unicaen.fr]

Hugh Perkins writes: 

> Sooo.. what is the modern equivalent of Prolog?

Well, first, I wouldn't agree entirely that Prolog is "not modern".
Anyway... 

If you want something wih more bells and whistles, modularity, coroutining,
more security (less power, e.g. no program auto-modification), etc.,
 -  see Mercury. 

http://www.cs.mu.oz.au/research/mercury/information/features.html
http://en.wikipedia.org/wiki/Mercury_(programming_language)
http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/archive_93_96/net 
/systems/mercury1.html
and also: http://lambda-the-ultimate.org/node/890 

Perhaps somebody can say more about constraint languages which replaced
Prolog in some contexts as well. 

Have fun. 

Jerzy Karczmarczuk