tailieunhanh - Lập trình Lôgích trong prolog

Prolog là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo lô gích". Xuất hiện từ năm 1972 (do Alain Colmerauer và Robert Kowalski thiết kế), mục tiêu của Prolog là giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng | . PHAN HUY KHÁNH Lập trình Lôgích trong Prolog NHÀ XUẤT BẢN ĐẠI HỌC QUỐC GIA HÀ NỘI 2004 . PHAN HUY KHÁNH Lập trình Lôgích trong Prolog Prolog là ngôn ngữ lập trình lôgich Prolog PROgramming in LOGic do GS. A. Colmerauer đưa ra lần đầu tiên năm 1972 tại trường Đại học Marseille nước Pháp. Đến năm 1980 Prolog nhanh chóng được áp dụng rộng rãi được người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã được cài đặt trên hầu hết các dòng máy tính Unix Linux Macintosh Windows. Prolog còn được gọi là ngôn ngữ lập trình ký hiệu symbolic programming tương tự lập trình hàm functional programming hay lập trình phi số non-numerical programming . Nguyên lý lập trình lôgich dựa trên phép suy diễn lôgích liên quan đến những khái niệm toán học như phép hợp nhất Herbrand hợp giải Robinson lôgich Horn lôgich vị từ bậc một first order predicate logic . Prolog rất thích hợp để giải quyết những bài toán liên quan đến các đối tượng và mối quan hệ giữa chúng. Prolog được ứng dụng 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 hệ chuyên gia máy học xử lý ngôn ngữ trò chơi . Nội dung cuốn sách tập trung trình bày cơ sở lý thuyết và những kỹ thuật lập trình cơ bản trong Prolog rất thích hợp cho sinh viên các ngành tin học và những bạn đọc muốn tìm hiểu về kỹ thuật lập trình ứng dụng trong lĩnh vực trí tuệ nhân tạo. VỀ TÁC GIẢ Tốt nghiệp ngành Toán Máy tính năm 1979 tại trường Đại học Bách khoa Hà Nội. Từ 1979 đến nay giảng dạy tại khoa Công nghệ Thông tin trường Đại học Bách khoa Đại học Đà Nằng. Bảo vệ tiến sĩ năm 1991 tại Pháp. Giữ chức chủ nhiệm khoa Công nghệ Thông tin 1995-2000. Hướng nghiên cứu chính xử lý ngôn ngữ xử lý đa ngữ lý thuyết tính toán. E-mail khanhph@

• Kỹ thuật lập trình
• Tài liệu lập trình
• thủ thuật lập trình
• Ngôn ngữ lập trình
• ngôn ngữ prolog
• chuẩn ISO
• ngôn ngữ máy tính
• Tài liệu IT
• Kiến thức lập trình
• Học lập trình
• Công cụ lập trình
• kĩ thuật lập trình
• hướng dẫn lập trình
• kĩ năng lập trình
• AutoIT