Logic programming Prolog and stream parallel languages - Newmarch, Jan D. (Prentice Hall advances in computer science series, 1990)