Artificial intelligence through prolog. - Rowe, Neil (N.Jersey: Prentice Hall, 1988)