资料来源 : Free On-Line Dictionary of Computing

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)].