Communicating Sequential Prolog (CSP') is a single-solution
distributed logic programming language for discrete event simulation.
Its primary goal is to speed up the execution of logic programs
through the use of parallelism, while as far as possible preserving
the semantics of standard Prolog. A CSP' program consists of a set
of parallel processes, synchronized by simulation time and by message
passing. The underlying interprocess communication mechanism is Time
Warp. The pertinent features of parallel logic programming and
Time Warp are described. The syntax of CSP' is introduced and the
semantics of new predicates and their control structures are discussed.
Examples are given to show the expressive power and simplicity of CSP'.