Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/46077
Title: Communicating Sequential Prolog
Authors: Li, Xining
Unger, Brian W
Cleary, John
Lomow, Greg
West, Darrin
Keywords: Computer Science
Issue Date: 1-Jan-1988
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'.
URI: http://hdl.handle.net/1880/46077
Appears in Collections:Unger, Brian W
Cleary, John

Files in This Item:
File Description SizeFormat 
1988-297-09.pdf891.14 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.