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