Prologiii

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  Prolog-III
       
          A. Colmerauer, U Aix-Marseille, ca 1984.  Marseille Prolog,
          with unification replaced by constraint resolution.  [deferred
          goals too?]  (Not to be confused with Prolog 3, a commercial
          product?)


       
          Version 1.2 for MS-DOS.
       
          ["Opening the Prolog-III Universe", BYTE 12(9):177-182 (Aug
          1987)].
       
          ["An Introduction to Prolog III", A. Colmerauer, CACM
          33(7):69-90 (1990)].