Prolog and expert systems - Bowen, Kenneth A (McGraw-Hill, 1991)
Includes index.