The Leading eBooks Store Online 4,410,490 members ⚫ 1,532,108 ebooks

New to eBooks.com?

Learn more

Parallelism in Logic

Its Potential for Performance and Program Development

by Franz Kurfeß(other)
Parallelism in Logic by Franz Kurfeß
Buy this eBook
US$ 54.99
(If any tax is payable it will be calculated and shown at checkout.)
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.
Vieweg+Teubner Verlag; November 2013
310 pages; ISBN 9783322849229
Read online, or download in secure PDF format
Title: Parallelism in Logic
Author: Franz Kurfeß
 
  • News
  • Contents
No entry found