Previous: TR 91-04 Next: TR 91-08


Intellektik: Technical report 91-07

Distributed Failure Production: Sequential Theorem Proving on a Parallel Machine

Sascha Rangoonwala and Gerd Neugebauer


This paper presents an approach using the power of parallel processing for speeding up theorem proving. Instead of taking the theoretical point of view and exploring the parallelism inherent in logic, we start from practical experiences with a Horn clause theorem prover --- namely Prolog. The information contained in the sequential encoding of a Horn clause program is preserved. The execution on a parallel machine is used to gain improvements of several kinds such as efficient (intelligent) backtracking and modularization enabling a good control on the activities.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry