A Second Look At Prolog Chapter TwentyModern Programming Languages, 2nd ed.1.
More About Prolog
A Second Look At Prolog