Artificial Intelligence Techniques in Prolog - Shoham, Yoav (Morgan Kaufmann, 1994)