H ? « ‹ ← → › »

Language peer sets for Prolog III:
France↑
France/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1984↑
Context-based /1984↑
Data representation/1984↑
Horn clause/France↑
Context-based /France↑
Data representation/France↑
String and List Processing ↑
String and List Processing/1984↑
String and List Processing/fr ↑

Prolog III(ID:1112/pro043)

Prolog with unification replaced by constraint resolution. 

alternate simple view
Country: France
Designed 1984
Published: 1984
Genus: Horn clause
Sammet category: String and List Processing

A. Colmerauer, U Aix-Marseille, ca 1984.

Marseille Prolog, with unification replaced by constraint resolution.
[deferred goals too?]


People:
Related languages
Prolog-II → Prolog III   Evolution of
Prolog III → LLilog   Built on
Prolog III → Prolog IV   Evolution of
References:
  • Colmerauer, Alain (1987) Colmerauer, Alain "Opening the Prolog III universe", BYTE, 12(9), Aug. 1987 p.177-182,
  • Colmerauer, Alain (1989) Colmerauer, Alain "Une introduction à Prolog III" FODO 1989 pp264-288
  • Cohen, Jacques (1990) Cohen, Jacques "Constraint logic programming languages" CACM 33(07) July 1990
  • Colmerauer, Alain (1990) Colmerauer, Alain "An introduction to Prolog III"
          in [ACM] (1990) [ACM] CACM 33(07) (July 1990)
  • Colmerauer, Alain (1990) Colmerauer, Alain "Prolog III as it actually is" ICLP 1990 p766
          in [ACM] (1990) [ACM] CACM 33(07) (July 1990)
  • Návrat, P. and M. Bieliková (1995) Návrat, P. and M. Bieliková "Representing calendrical algorithms and data in Prolog and Prolog III languages" Abstract
          in [SIGPLAN] (1995) SIGPLAN Notices 30(07) July 1995
  • Narboni, Guy A. (1999) Narboni, Guy A. "From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited" Constraints 4(4) December 1999 pp313-335 Abstract
          in [SIGPLAN] (1995) SIGPLAN Notices 30(07) July 1995
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder