Knowledge Systems Through Prolog-An Introduction - KIM, Steven H. (New York. Oxford University press., 1991)