{"product_id":"parallelism-in-logic-von-franz-kurfess","title":"Parallelism in Logic","description":"\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\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783528051631\"\u003e\u003ch3\u003eIts Potential for Performance and Program Development\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783528051631","offer_id":49592751685957,"sku":"9783528051631","price":54.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c37cd2f3-1763-4a81-9905-e921fa46c111.jpg?v=1745992922","url":"https:\/\/shop.autorenwelt.de\/en\/products\/parallelism-in-logic-von-franz-kurfess","provider":"Autorenwelt Shop","version":"1.0","type":"link"}