Re: Prolog IV

In message <atfdk1th7k9s4j55eb276qvnek86np47rk@xxxxxxx>, A. L. <lewando_won_@xxxxxxxxxxxxxxx> writes 
On Fri, 7 Oct 2005 18:43:40 +0100, Nick Wedd <nick@xxxxxxxxxxxxx>
wrote:

In message <ksqnj1d3acp83kuo8ni60pb0i65vtj34pv@xxxxxxx>, A. L.


By the way, Prolog II you can download from this site free. 

From what site?

I associate "Prolog III" with Kolmerauer, and "Prolog II" with the
long-defunct Expert Systems International (which I once worked for).  Is
there, or has there been, more than one product with one of these names?


There - there:

http://prologianet.fr/US/societeUS/prologIIPUS.html

Quote:

PROLOG II+ is a Prolog compiler, which allows the processing of
infinite trees together with constraints of type equal and different,
and allows an efficient control of the program flow (freeze) as well
as means to structure applications with modules. PROLOG II+ also
features an incremental garbage collector, a sophisticated environment
(debugger, external links, graphical interfaces) and a double syntax
(Marseille/Edinburgh). With all these characteristics, PROLOG II+ is a
complete and performant tool.

Free Download:

Documentation Prolog II +
Prolog II + pour Mac
Prolog II + pour Power Mac
Prolog II + pour Solaris
Prolog II + pour Windows
Prolog II + pour Linux
Runtime Mac, PC, Solaris

Fun to play with. 

Thanks for the link.

So, it's called Prolog II +, it is not related to Prolog II, and it is from the same French company as the older Prolog III. No wonder I was confused.

Nick
--
Nick Wedd    nick@xxxxxxxxxxxxx
.

Relevant Pages

  • Re: Prolog IV
    ... Prolog II you can download from this site free. ... Prolog II + pour Power Mac ...
    (comp.lang.prolog)
  • Re: Java to Prolog and assert/retract
    ... Nick Wedd wrote: ... > knowledge of Prolog tells me that ... > is clumsy. ... because a reasonable name for the objects you deal with enhances readability. ...
    (comp.lang.prolog)
  • Re: newbie question
    ... Nick Wedd writes: ... >> I wrote a code finding ways from one point to another in count. ... I need the best (shortest). ... In Prolog, once a variable has a value, it keeps that value. ...
    (comp.lang.prolog)
  • Re: Again on polymorphism.
    ... In message, Nick Wedd ... >>But I seem to understand this is not common practice in prolog? ... Does setPosition/3 use retract ... fact with A in it and assert a fact with B in it. ...
    (comp.lang.prolog)
  • Re: Can i make a variable like those in imperative language ?
    ... I want to have a program parameter in Prolog just like what we can do in C with something like "#define N 5". ... It did not work at the string level but at the structure level. ... Nick Wedd nick@xxxxxxxxxxxxx ...
    (comp.lang.prolog)