Mercury <-> PDC Prolog

From: greim (greim_at_schleibinger.com)
Date: 11/18/03 

Date: Tue, 18 Nov 2003 22:28:55 +0100

Hello,

i did a lot of work with Turbo/PDC prolog
years ago. In between i had to move to some more
practical things(Assembler.Perl.Pascal, Java etc.).
But i am still interested in prolog and
things arround, because i think it was
the best language i worked with.
One reaseon for example: most program sources became smaller
during the developement.

Today i read somethingt about Mercury, maybe a very fine
dialect ore follower of prolog.
I know most prolog gurus hate turbo/pdc-prolog, but
what is the real difference between mercury and the good old
turbo/pdc ?

You have to define your "functions", flow patterns, as well as an
determ/undeterm switch and both are based on the C language. Ok, mercury
has some more
modern extensions, but the idea behind is not real different, isn't it?

I know mercury is more portable, maybe faster etc. but thats not a real
difference
i think.

Regards

Markus Greim

P.S. I am not a computer scientist, only an engineer who has to work
with all this computers arround ;-)

Relevant Pages

  • Re: Mercury <-> PDC Prolog
    ... >>what is the real difference between mercury and the good old ... > There is one guiding principle behind the design of Mercury which is ... > very different than that of PDC Prolog or standard Prolog: ... > Prolog, it is very common to have to use non-logical features such as cut, ...
    (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)