Publisher | Vieweg+Teubner Verlag |
ISBN 10 | 3528051639 |
Language | German |
Publication Date | 1 June 1991 |
ISBN 13 | 9783528051631 |
Author | Franz Kurfeß |
Book 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. |
Number of Pages | 316 pages |
We're Always Here To Help
Reach out to us through any of these support channels
electronics
mobilestabletslaptopshome appliancescamera, photo & videotelevisionsheadphonesvideo gamesfashion
women's fashionmen's fashiongirls' fashionboys' fashionwatchesjewellerywomen's handbagsmen's eyewearhome and kitchen
bathhome decorkitchen & diningTools & Home Improvementaudio & videofurniturePatio, Lawn & Gardenpet suppliesbeauty
fragrancemake-uphaircareskincareBath & Body Electronic beauty toolsmen's groomingHealth Care Essentials