Parallelism in Logic

Its Potential for Performance and Program Development

316 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Künstliche Intelligenz
• Themen: Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse Technologie, allgemein Ingenieurswesen, Maschinenbau allgemein
• ISBN: 9783528051631
• Sprache: Deutsch
• Erscheinungsdatum: 01.06.1991
• Größe: 244 x 170 mm
• Verlag: De Gruyter Saur