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