Programming in Prolog using the ISO Standard 5/E - Clocksin William; Mellish Christopher (Vidhyanagar Springer, 2003)