Parallel backtracking prolog engine. - M. De Blasi; A. Gentile; G. Lopez; Antonio Franco (Microprocess. Microprogramming, 1988)