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