Prolog for computer science - Dawe, M.S. (Springer-Verlag, 1994)
Index.