P-PROLOG-PARALLEL LOGIC PROGRAM... (V9)
| By: | Yang Rong |
| Publisher: | World Scientific Publishing |
| Print ISBN: | 9789971505080 |
| eText ISBN: | 9789814434096 |
| Edition: | 0 |
| Format: | Page Fidelity |
Lifetime - $145.20
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.