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