Artificial intelligence through Prolog - Rowe, Neil C. (Forefront Book, 1990)