TY - BOOK AU - Shoham, Yoav TI - Artificial intelligence techniques in prolog SN - 1558601678 U1 - 006.3 PY - 1994/// CY - San Francisco PB - Morgan Kaufmann KW - ARTIFICIAL INTELLIGENCE KW - COMPUTER PROGRAMME LANGUAGE KW - DATA PROCESSING KW - PROLOG ER -