Concurrent Prolog(ID:1309/con015)

Ehud "Udi" Shapiro, Yale
Guarded clauses and committed-choice [= dont-care] nondeterminism. A subset has been implemented, but not the full language.  (See Mandala).

Related languages
Prolog => Concurrent Prolog   Extension of
Concurrent Prolog => FCP   Extension of
Concurrent Prolog => L-HYBRID   Dialect of
Concurrent Prolog => Mandala   Extension of

  • Shapiro, E. and A. Takeuchi. Object oriented programming in concurrent Prolog. New Generation Computing, 1:25{48, 1983 view details
  • Shapiro, E. "Concurrent Prolog: Collected Papers", V.1-2, MIT Press 1987. (See Mandala). view details
  • Talia, D. "Survey and comparison of PARLOG and Concurrent Prolog" pp33-42 view details
          in [SIGPLAN] SIGPLAN Notices 25(01) January 1990 view details
  • Talia, D. "A survey of PARLOG and Concurrent Prolog: the integration of logic and parallelism" view details
          in Computer Languages 18(3) view details
  • Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169 view details
          in [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998 view details