๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

P-Prolog: A Parallel Logic Programming Language

โœ Scribed by Yang R.


Publisher
World Scientific
Year
1988
Tongue
English
Leaves
152
Series
World Scientific Series in Computer Science
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents also an or-tree model and an implementation scheme for it, to combine and- and or- parallelism with reasonable efficiency. The model and implementation scheme discussed can be applied to P-Prolog and other parallel logic languages.


๐Ÿ“œ SIMILAR VOLUMES


Parallel logic programming
โœ Evan Tick ๐Ÿ“‚ Library ๐Ÿ“… 1991 ๐Ÿ› The MIT Press ๐ŸŒ English

Highly parallel machines have been available for many years but, because advances in hardware have always outpaced progress in software development, designers and users of these machines have yet to realize their full potential. Until recently there have been few, if any, high-class parallel program

Parallel Execution of Logic Programs
โœ John S. Conery (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 1987 ๐Ÿ› Springer US ๐ŸŒ English

<p>This book is an updated version of my Ph.D. dissertation, The AND/OR Process Model for Parallel Interpretation of Logic Programs. The three years since that paper was finished (or so I thought then) have seen quite a bit of work in the area of parallel execution models and programming languages f

Parallel and distributed logic programmi
โœ Bhattacharya A., Konar A., Mandal A. ๐Ÿ“‚ Library ๐Ÿ“… 2006 ๐Ÿ› Springer ๐ŸŒ English

The book Parallel and Distributed Logic Programming provides a clear introduction to parallel and distributed approach to logic programming. It examines the existing models of distributed logic programming, analyses the pros and cons of these models, and proposes an alternative framework for distrib