Parallelism in Logic
Franz Kurfeß · 1991
This chapter deals with the investigation of parallelism in logic, and its exploitation. In the prelude, it offers some variations on parallelism , outlining general models, or categories , of parallel computation. Then, after a brief overview of the different categories of parallelism to be found in logic, each of these categories is discussed in more detail. Typically, such a discussion provides a problem specification, the design and formal description of a solution, considerations about the correctness and complexity of the solution, its potential for internal parallelization, and possible refinements. The important aspects of the discussion are comprised in an overview table, enhanced by criteria relevant for an implementation. In addition, possible combinations of categories are investigated. The chapter concludes with the proposal of some favorable combinations of categories; of particular importance for good combinations are the underlying calculus, the computational model applied, and the execution vehicle envisaged.