Prolog : a relational language and its applications - Malpas, John (Prentice-Hall International, 1987)
Includes index.