00766nam a2200217Ia 4500 CTU_32746 210402s9999 xx 000 0 und d 776.000đ 006.3 S559 Shoham, Yoav Artificial intelligence techniques in prolog Yoav Shoham San Francisco, California Morgan Kaufmann 1994 This is book contens: On prolog, search, backward-chaining methods, other rule-based methods, truth maintenance systems, contraint satisfaction... Artificial intelligence,Prolog ( computer program language ) Data processing Minh, QHieu Trung tâm Học liệu Trường Đại học Cần Thơ