Prolog : a logical approach / - Dodd, A. (Oxford University Press,, 1990)