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