H ? « ‹ ← → › »

Language peer sets for Parlog:
United Kingdom↑
United Kingdom/1983↑
Designed 1983 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

Parlog(ID:1049/par032)

alternate simple view
Country: United Kingdom
Designed 1983
Published: 1983

for PARallel proLOG

Clark & Gregory, Imperial College 1983.

An AND-parallel Prolog, with guards and committed choice [=don't care] nondeterminism. Shallow backtracking only.

Related languages
Prolog → Parlog   Evolution of
Relational Language → Parlog   Evolution of
Parlog → Andorra   Derivation of
Parlog → Kernel Parlog   Target language for
Parlog → LOTOS   Target language for
Parlog → MacParlog   Implementation
Parlog → Parlog83   Evolution of
Parlog → PC-Parlog   Implementation
Parlog → POLKA   Extension of
Parlog → SPM   VM Language
Parlog → Vienna Parallel Logic   Influence
References:
  • Clark, K.L. and Gregory, S. (1983) Clark, Keith and Gregory, Steve "Parlog: A Parallel Logic Programming Language", Department of computing Research reports DOC 83/5 Imperial College, London, May 1983.
  • CLARK, K. L., AND GREGORY, S. (1984) CLARK, K. L., AND GREGORY, S. "Notes on systems programming in PARLOG" in Proceedings of the International Conference on Fifth Generation Computer Systems. ICOT, Tokyo, pp. 299-306. 1984
  • Clark K.L. and Gregory, S. (1985) Clark K.L. and Gregory, S. "Notes on the implementation of PARLOG", pp17-42
          in (1985) J Logic Prog 2(1) (1985)
  • Clark , Keith and Gregory, Steve (1986) Clark , Keith and Gregory, Steve "PARLOG: parallel programming in logic" Abstract DOI
          in (1986) TOPLAS 8(1) January 1986 The MIT Press scientific computation series
  • Clark, K. L., and Gregory, S. 1987. (1987) Clark, K. L., and Gregory, S. 1987. "PARLOG and PROLOG united" pp. 927-961.
          in Proceedings of the 4th International Conference on (1987) Proceedings of the 4th International Conference on Logic Programming, J.-L. Lassez, Ed. MIT Press, Cambridge, Mass.,1987
  • Gregory, S. (1987) Gregory, S. "Parallel Logic Programming in PARLOG, The Language and Its Implementation", A-W 1987.
          in Proceedings of the 4th International Conference on (1987) Proceedings of the 4th International Conference on Logic Programming, J.-L. Lassez, Ed. MIT Press, Cambridge, Mass.,1987
  • Huntbach, M. (1989) Huntbach, M. "Implementing a graph-colouring algorithm in Parlog" pp80-85 Abstract DOI
          in [SIGPLAN] (1989) SIGPLAN Notices 24(09) September 1989
  • Crammond, Jim; Andrew Davison, Alastair Burt, Matt (1990) Crammond, Jim; Andrew Davison, Alastair Burt, Matthew Huntbach and Melissa Lam. "The Parallel Parlog User Manual" Parlog Group Department of Computing Imperial College, London 1990 Online user manual
          in [SIGPLAN] (1989) SIGPLAN Notices 24(09) September 1989
  • Talia, D. (1990) Talia, D. "Survey and comparison of PARLOG and Concurrent Prolog" pp33-42 Abstract DOI
          in [SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(01) January 1990
  • Talia, D. (1993) Talia, D. "A survey of PARLOG and Concurrent Prolog: the integration of logic and parallelism"
          in (1993) Computer Languages 18(3)
  • Skillicorn, David B. and Talia, Domenico (1998) Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder