Logic programming Prolog and stream parallel languages - Newmarch, Jan D. (Prentice Hall, 1990)