2 Sep
2007
2 Sep
'07
7:25 p.m.
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.