TY - BOOK AU - Soham Yoav TI - Artificial intelligence techniques in prolog SN - 1558601678 (pbk) U1 - D65,8(B):(S:72), N4 PY - 1994/// CY - San Francisco PB - Morgan Kaufmann Publishers KW - Artificial intelligence KW - Computer science N1 - Bibliography 317-323; Index 324-327p ER -