Prolog: programming for tomorrow - Doores, J. (Sigma Press, 1987)