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