Knowledge systems through Prolog : - Kim, Steven H. (Oxford University press, 1991)