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