Prolog: A new parallel evaluation scheme. - I. Hannequin; Gilles Goncalves; Pierre Lecouffe; Bernard Toursel (Microprocessing and Microprogramming, 1989)