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