Multiprocessor Execution of Logic Programs - Rilegato

Gupta, Gopal

Rilegato

ISBN 10: 0792394895 ISBN 13: 9780792394891

Casa editrice: Kluwer Academic Pub, 1994

Riassunto

Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of Logic Programming Languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in Logic Programs, namely, or-parallelism, independent and-parallelism and dependent and-parallelism. Coverage includes a thorough survey of parallel implementation techniques and parallel systems developed for Prolog.
Multiprocessor Execution of Logic Programs will be useful for people implementing parallel logic programming systems, parallel symbolic systems Parallel AI systems, and parallel theorem proving systems. This work will also be useful to people who wish to learn about implementation of parallel logic programming systems.

Su questo libro

Contenuti

1. Introduction. Part I: Survey and Analysis of Parallel Execution Models. 2. Parallel Execution Models for Logic Programs. 3. Analysis of Or-parallel Models for Logic Programs. Part II: Combining Independent And- and Or-parallelism. 4. Environment Representation. 5. Distributed Stack Implementation and an Abstract Machine for And-Or Parallel Execution. 6. Optimizing And-Or Parallel Models. Part III: Extensions and Variations of the And-Or Model. 7. Integrating Dependent and-, Independent and-, and Or-parallelism. 8. And-Or Parallel Implementation of Prolog. 9. Conclusions. Bibliography. Index.

Product Description

Book by Gupta Gopal

Dettagli dell?edizione

• Editore: Kluwer Academic Pub
• Data di pubblicazione: 1994
• ISBN 10: 0792394895
• ISBN 13: 9780792394891
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero di pagine: 243
• Contatto del produttore: non disponibile