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