Knowledge systems through Prolog : an introduction / - Kim, Steven H. (Oxford University Press,, 1991)