menu
{ "item_title" : "Parallelism in Logic", "item_author" : [" Franz Kurfeß "], "item_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.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/52/805/163/3528051639_b.jpg", "price_data" : { "retail_price" : "59.99", "online_price" : "59.99", "our_price" : "59.99", "club_price" : "59.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Parallelism in Logic|Franz Kurfeß

Parallelism in Logic : Its Potential for Performance and Program Development

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

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.

This item is Non-Returnable

Details

  • ISBN-13: 9783528051631
  • ISBN-10: 3528051639
  • Publisher: Vieweg+teubner Verlag
  • Publish Date: June 1991
  • Dimensions: 9.61 x 6.69 x 0.66 inches
  • Shipping Weight: 1.11 pounds
  • Page Count: 300

Related Categories

You May Also Like...

    1

BAM Customer Reviews