Lập Trình Lôgic Trong Prolog

Prolog là ngôn ngữ lập trình lôgic (Programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường Đại học Marseille, 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.

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và những phương pháp lập trình cơ bản nhất của môn học "Lập trình lôgic" (Programming in logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgic đượ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 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, v.v...

Cuốn sách gồm 5 chương, tác giả cố gắng đưa vào nhiều ví dụ minh họa. Nội dung các chương như sau:

Chương 1: Giới thiệu ngôn ngữ lập trình Prolog. Người đọc được làm quen với các kiểu dữ liệu của Prolog, khái niệm luật, sự kiện đích và viết được các chương trình Prolog đơn giản.

Chương 2: Trình bày các mức nghĩa khác nhau của một chương trình Prolog: nghĩa lôgic, nghĩa khai báo và nghĩa thủ tục, cách Prolog trả lời các câu hỏi, cách Prolog làm thỏa mãn các đích.

Chương 3: Trình bày các phép toán số học, phép so sánh các đối tượng và định nghĩa các hàm sử dụng phép đệ quy trong Prolog.

Chương 4: Trình bày cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của Prolog.

Chương 5: Trình bày kỹ thuật lập trình nâng cao với cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của Prolog.

Phần phụ lục giới thiệu ngôn ngữ lập trình SWI-Prolog, hướng dẫn cách cài đặt sử dụng phần mềm này và một số chương trình ví dụ tiêu biểu viết trong SWI -Prolog đã chạy có kết quả.