Re: did prolog have any children that lived?

From: Bart Demoen (bmd_at_cs.kuleuven.ac.be)
Date: 03/28/05 

Date: Mon, 28 Mar 2005 21:17:22 +0200

alex goldman wrote:
> A 10+ year old book I'm reading mentions MU-prolog, NU-prolog and Prolog III
> as more declarative possible successors to Prolog. I wonder what became of
> them?
>
>

AFAIK, MU- and NU-Prolog are no longer maintained (in the sense of
evolving, being extended, enhanced ...).
http://www.cs.mu.oz.au/~lee/src/ says (about MU-Prolog): primarily of
historical interest.

Prolog III has a successor: Prolog VI.

In some sense, Erlang is a child of Prolog that still lives (very much).

Maybe Mercury could pass as a Prolog child - but the father of Mercury
might disagree :-)

Cheers

Bart Demoen

Relevant Pages

  • did prolog have any children that lived?
    ... A 10+ year old book I'm reading mentions MU-prolog, NU-prolog and Prolog III ... as more declarative possible successors to Prolog. ...
    (comp.lang.prolog)
  • Re: Aquarius prolog so fast?
    ... There are several famous Prolog programs, ... variables to essentially perform constraint solving with Herbrand constraints. ... These cannot be translated into the original version of Mercury. ... the absence of logical variables that allowed Mercury to have such a robust ...
    (comp.lang.prolog)
  • Re: Aquarius prolog so fast?
    ... "Our extensive benchmarking has shown our implementation [of Mercury] ... system, Aquarius Prolog, about five times as fast as SICStus Prolog's ... I've never heard of Aquarius before. ... typing into static typing and with good compiler technology exploit that. ...
    (comp.lang.prolog)
  • Re: Mercury <-> PDC Prolog
    ... The design of Mercury was influenced by the design of Turbo Prolog, ... No, neither Mercury nor PDC Prolog are based on C, as far as I know. ...
    (comp.lang.prolog)
  • Re: Aquarius prolog so fast?
    ... There are several famous Prolog programs, ... variables to essentially perform constraint solving with Herbrand constraints. ... These cannot be translated into the original version of Mercury. ... the absence of logical variables that allowed Mercury to have such a robust ...
    (comp.lang.prolog)