Parallelism in Logic: Its Potential for Performance and Program Development 1991 Edition Contributor(s): Kurfeß, Franz (With) |
|
ISBN: 3528051639 ISBN-13: 9783528051631 Publisher: Vieweg+teubner Verlag OUR PRICE: $56.99 Product Type: Paperback Language: German Published: June 1991 |
Additional Information |
BISAC Categories: - Computers | Systems Architecture - Distributed Systems & Computing - Technology & Engineering |
Dewey: 004.35 |
LCCN: 92100639 |
Series: Künstliche Intelligenz |
Physical Information: 0.66" H x 6.69" W x 9.61" (1.11 lbs) 300 pages |
Descriptions, Reviews, Etc. |
Publisher Description: The potential of parallelism in logic reaches far beyond the exploitation of AND- and OR-parallelism usually found in attempts to parallelize PROLOG. This book discusses parallelism in logic and its exploitation on parallel architectures. A variety of categories of parallelism is discussed with respect to different levels of a logical formula and different ways to evaluate it. As an outcome of these investigations it is shown that modularity allows s tructuring of logic programs and meta-evaluation can be used to c ontrol the evaluation process on a parallel system. This combinat ion yields a consistent programming framework with a wide scope. Finally, the suitability of a specific evaluation mechanism for p arallel architectures is investigated. |