The Craft Of Prolog by O. Keefe & Richard O'Keefe