Tác giả: Phan Huy Khánh
Nhà xuất bản: Đại học Quốc gia Hà Nội
Giá bìa:28,000
Giá bán:28,000
Năm xuất bản: 2004
Prolog là ngôn ngữ lập trình logic( programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường ĐH Maseille, Pháp. Đến năm 1980, prolog nhanh chóng được áp dụng rộng rãi, đựoc người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã dược cài đặt trên hầu hết các dòng máy tính unix/lunix, Macintosh, Windows.
Prolog là ngôn ngữ lập trình logic( programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường ĐH Maseille, Pháp. Đến năm 1980, prolog nhanh chóng được áp dụng rộng rãi, đựoc người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã dược cài đặt trên hầu hết các dòng máy tính unix/lunix, Macintosh, Windows. Nguyên lý của prlog dựa trên phép suy diễn logic, liên quan đến những khái niệm toán học như phép hợp nhất herbran, hợp giả Robinson, logic vị từ bậc một,...Prolog rất thích hợp để giải quyết các bài toán liên quan tới 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 như công nghệ xử lý tri thức, hệ chuyên gia, máy móc, xử lý ngông 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 cần cho sinh viên các ngành tin học và các 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. MỤC LỤC Lời nói đầu Chương 1: Mở đầu về ngôn ngữ Prolog Chương 2: Ngữ nghĩa của chương trình Prolog Chương3: Các phép toàn và số học Chương 4: Cấu trúc danh sách Chương 5: Kỹ thuật lập trình Prolog Phụ lục A: Một số chương trình Prolog Phụ lục B: Hướng dẫn sử dụng SWI-Prolog Tài liệu tham khảo Xin được giới thiệu tới bạn đọc!
|