Prolog là ngôn ngữ được sử dụng phổ biến nhất trong dòng các ngôn ngữ lập trình logic ( Prolog có nghĩa là Programming in logic). Ngôn ngữ Prolog do giáo sư người Pháp Alain colmerauer in logic. | 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ả. MỤC LỤC 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 .
