论文信息 - A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments - 字舞流文

A Distributed Implementation of Flat Concurrent Prolog on Multi-Transputer Environments

FCP is a general purpose concurrent logic programming language. We describe a distributed implementation of FCP on a multi-transputer environment based on the design of a parallel FCP machine.

Uwe Glässer | Georg Lehrenfeld | M. Kärcher | G. Hannesen | U. Glässer | G. Lehrenfeld | G. Hannesen | M. Kärcher

[1] Ehud Shapiro,et al. The Logix system user manual version 1.21 , 1988 .

[2] Akikazu Takeuchi,et al. Parallel Logic Programming Languages , 1986, ICLP.

[3] Ian Foster,et al. Strand: New Concepts in Parallel Programming , 1990 .

[4] Ehud Shapiro,et al. The family of concurrent logic programming languages , 1989, CSUR.

[5] A. J. M. van Gasteren,et al. Derivation of a Termination Detection Algorithm for Distributed Computations , 1983, Inf. Process. Lett..

[6] Kazunori Ueda,et al. Parallelism in Logic Programming , 1989, IFIP Congress.

[7] Stephen Taylor,et al. Parallel logic programming techniques , 1989 .

[8] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.