CMU Artificial Intelligence Repository
Free/Shareware Parallel Prolog implementations
lang/prolog/impl/parallel/
akl/ AKL: Andorra Kernel Language, a concurrent
constraint programming language.
bap/ BAP: Parallel Prolog for Transputer Networks
bebop/ BeBOP, bp, and pnp: Parallel Object-Oriented
Logic Programming
fcp/ FCP: Flat Concurrent Prolog
ncl/ NCL: Net-Clause Language
pcn/ PCN: Program Composition Notation
rolog/ ROLOG: Parallel Prolog compiler with a reduce-OR
process model.
Sources for a large collection of parallel Prolog implementations.
References:
Gregory, Steve: "Parallel Logic Programming in Parlog: The Language
and Its Implementation", Addison-Wesley, 1987, ISBN 0-201-19241-1.
Tick, E.: "Parallel Logic Programming". MIT Press, 1991
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
Programming Languages!Parallel Prolog,
Prolog!Implementations
Last Web update on Mon Feb 13 10:34:48 1995
AI.Repository@cs.cmu.edu