{"product_id":"parallelism-in-logic-its-potential-for-performance-and-program-development-9783528051631","title":"Parallelism in Logic: Its Potential for Performance and Program Development","description":"\u003cp\u003e • Author(s): Franz Kurfeß\u003cbr\u003e • Publisher: Vieweg+teubner Verlag\u003cbr\u003e • Publisher Imprint: Vieweg+teubner Verlag\u003cbr\u003e • BISAC: Systems Architecture - Distributed Systems \u0026amp; Computing\u003c\/p\u003e\u003cp\u003eThe 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.\u003c\/p\u003e","brand":"Vieweg+teubner Verlag","offers":[{"title":"Paperback","offer_id":46893683835031,"sku":"9783528051631","price":3741.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783528051631.webp?v=1770318154","url":"https:\/\/atlanticbooks.com\/products\/parallelism-in-logic-its-potential-for-performance-and-program-development-9783528051631","provider":"Atlantic Books","version":"1.0","type":"link"}