Artificial intelligence through prolog - Rowe, Neil C . (Prentice Hall of India, 1988)