Introduction to Prolog
Walsh, B. C.(Brian C.)
London Pitman
1986
Bibliography: p101-102. - Includes index
Prolog (Computer program language)