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