Artificial intelligence techniques in prolog - Shoham, Yoav (Morgan Kaufmann, 1994)