Multiprocessor Execution of Logic Programs

Gopal Gupta

ISBN 10: 0792394895 / ISBN 13: 9780792394891

Published by Springer Us Okt 1994, 1994

About this Item

Neuware - 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.

Seller Inventory # 9780792394891

Bibliographic Details

• Title: Multiprocessor Execution of Logic Programs
• Publisher: Springer Us Okt 1994
• Publication Date: 1994
• Language: English
• ISBN 10: 0792394895
• ISBN 13: 9780792394891
• Binding: Buch
• Condition: Neu
• Dimensions: 234W x 156H x 16D millimeters 234 millimeters width by 156 millimeters height by 16 millimeters depth
• Weight: 544 grams

About this title

Synopsis

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.