The craft of Prolog - O'Keefe, Richard A. (Cambridge, Mass. : MIT Press, 1990)
includes index
Keywords: Prolog (Computer program language)