Logic programming : prolog and stream parallwl languages.
Newmarch, J. D.
New York : Prentice Hall,
1990.