Introduction to Programming in Prolog - "Crookes, Danny" (Prentice Hall)
includes index and biblioraphy