Artificial intelligence through prolog. - Rowe, Neil C. (Englewood Cliffs, 1988)