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