Logic programming with Prolog - Bramer, M. A. (Max A.) 1948- (Springer, 2005)