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