Multiprocessor Execution of Logic Programs - Brossura

Gupta, Gopal

 
9781461362005: Multiprocessor Execution of Logic Programs
Brossura
ISBN 10: 1461362008 ISBN 13: 9781461362005
Casa editrice: Springer, 2012

Sinossi

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 is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
1461362008
ISBN 13 
9781461362005
Rilegatura
Copertina flessibile
Numero di pagine
264
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9780792394891: Multiprocessor Execution of Logic Programs

Edizione in evidenza

ISBN 10:  0792394895 ISBN 13:  9780792394891
Casa editrice: SPRINGER NATURE, 1994
Rilegato