tailieunhanh - Lập trình lôgich

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và các phương pháp lập trình cơ bản nhất của môn học «Lập trình lôgich» (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi, . . | LỜI NÓI ĐẦU Cuốn sách này nhằm cung cấp cơ sỗ ly thuyết và các phương pháp láp trình cơ bán nhất củà mốn học Láp trình lốgich Programming in Logic . Ngươi dọc sẽ dược làm quen vơi mốt số ky thuát láp trình lốgich dược ưng dung tương dối phố biến và chu yếu trong lĩnh vực trí tuế nhấn tào Artificial Intelligence như cống nghế xư ly tri thưc mày hoc hế chuyến già xư ly ngốn ngư tư nhiến tro chơi . Cuốn sàch gốm nằm chương và phu luc như sàu - Chương 1 giơi thiếu ngốn ngư láp trình Prolog lốgich dưà trến lốgich Horn Horn logic . Ngươi doc làm quen vơi càc kiếu dư liếu củà Prolog khài niếm vế luát sư kiến và viết càc chương trình Prolog dơn giàn. - Chương 2 trình bày càc mưc nghĩà khàc nhàu cuà mốt chương trình Prolog nghĩà lốgich nghĩà khài bào và nghĩà thu tuc càch Prolog trà lơi càc cáu hoi càch làm thoà màn dích. - Chương 3 trình bày càc phep toàn số hoc phep so sành và dinh nghĩà hàm sư dung phép dế quy trong Prolog. - Chương 4 trình bày cáu trúc dành sàch và càc phép xư ly cơ bàn trến dành sàch củà Prolog. - Chương 5 trình bày kỹ thuát láp trình náng cào vơi Prolog. - Phán phu luc giơi thiếu ngốn ngư láp trình SWI-Prolog hương dán càch cài dằt sư dung phán mếm này và mốt số chương trình ví du tiếu biếu viết trong SWI Prolog. Cuốn sàch này dung làm giào trình cho sinh viến ngành Tin hoc và càc dốc già muốn tìm hiễu thếm vế ky thuát láp trình cho lĩnh vưc trí tuế nhán tào. Trong quà trình biến soạn tàc già dà nhán dươc tư càc bàn dống nghiếp nhiếu dong gộp bố ích vế mằt chuyến mốn nhưng dống viến khích lế vế mằt tinh thán sư giup dơ vế biến táp dễ cuốn sàch dươc rà dơi. Tàc già xin dươc bày to long biết ơn sáu sắc. Tàc già cung chán thành càm ơn moi y kiến phế bình dong gop củà bàn doc gán Xà vế nối dung củà cuốn sàch này. Đà Nằng ngày 27 05 2004 Tác giả. MUC LUC CHƯƠNG 1 MỞ ĐẦU VE ngôn ngữ I. GIỚI THIỆU NGÔN NGỮ . Prolog la ngôn ngữ lập trình . Cu pháp . Các thuật . Các kiểu dữ liệu . Chu .