Parallel backtracking prolog engine

Abstract A parallel architecture for Prolog, oriented to an efficient execution of backtracking, is introduced. It uses a few instances of a Unification Processor endowed with a high degree of internal parallelism, each of which is connected to a Transputer. The PBPE (Parallel Backtracking Prolog Engine) as a whole is a circular chain of these couples, linkable by means of one of its Transputers to a host computer for integration with traditional programming environments.