PROLOG for computer science - Dawe, M. S. (Martin Simon) 1975- (Springer-Verlag, 1994)