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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
