Please use this identifier to cite or link to this item:
|Title:||Communicating Sequential Prolog|
Unger, Brian W
|Abstract:||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'.|
|Appears in Collections:||Unger, Brian W|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.