TAILIEUCHUNG - Giáo trình Lập trình hàm và lập trình lôgic: Phần 2 - PGS.TS Phan Huy Khánh

Nối tiếp phần 1, phần 2 giáo trình tiếp tục cung cấp tới bạn đọc nội dung chi tiết về ngôn ngữ prolog, ở phần này bạn có thể tim hiểu về ngôn ngữ prolog là gì, sự kiện và luật trong prolog, kiểu dữ liệu cấu trúc của prolog, quan hệ giữa prolog và logic toán học. Mời các bạn cùng tim hiểu về lập trình hàm và lập trình lôgic qua giao trình này. | LẬP TRÌNH HÀM VÀ LẬP TRÌNH LÔGIC 122 CHƯƠNG 3 NGÔN NGỮ PROLOG A line may take us hours, yet if it does not seem a moment's thought All our stitching and unstitching has been as nought. Yeats - Adam's Curse I. . Giới thiệu ngôn ngữ Prolog Prolog là ngôn ngữ lập trình lôgich 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 lôgich (Prolog có nghĩa là PROgramming in LOGic). Ngôn ngữ Prolog do giáo sư người Pháp Alain Colmerauer và nhóm nghiên cứu của ông đề xuất lần đầu tiên tại trường Đại học Marseille đầu những năm 1970. Đến năm 1980, Prolog nhanh chóng được áp dụng rộng rãi ở châu Âu, được người Nhật chọn làm ngôn ngữ phát triển dòng máy tính thế hệ 5. Prolog đã được cài đặt trên các máy vi tính Apple II, IBM-PC, Macintosh. Prolog còn được gọi là ngôn ngữ lập trình ký hiệu (symbolic programming) tương tự các ngôn ngữ lập trình hàm (functional programming), hay lập trình phi số (non-numerical programming). Prolog rất thích hợp để giải quyết các bài toán liên quan đến các đối tượng (object) và mối quan hệ (relation) giữa chúng. Prolog được sử dụng phổ biến trong lĩnh vực trí tuệ nhân tạo. Nguyên lý lập trình lôgich dựa trên các mệnh đề Horn (Horn logíc). Một mệnh đề Horn biễu diễn một sự kiện hay một sự việc nào đó là đúng hoặc không đúng, xảy ra hoặc không xảy ra (có hoặc không có, .). Ví dụ : Sau đây là một số mệnh đề Horn : Nếu một người già mà (và) khôn ngoan thì người đó hạnh phúc. Jim là người hạnh phúc. Nếu X là cha mẹ của Y và Y là cha mẹ của Z thì X là ông của Z. Tom là ông của Sue. Tất cả mọi người đều chết (hoặc Nếu ai là người thì ai đó phải chết). Socrat là người. Trong các mệnh đề Horn ở trên, các mệnh đề 1, 3, 5 được gọi là các luật (rule), các mệnh đề còn lại được gọi là các sự kiện (fact). Một chương trình lôgich có thể được xem như là một cơ sở dữ liệu gồm các mệnh đề Horn, hoặc dạng luật, hoặc dạng sự kiện, chẳng hạn như tất cả các sự kiện và luật từ 1 đến 6 ở trên. Người sử dụng (NSD) gọi chạy một .

• Kỹ thuật lập trình
• Lập trình hàm
• Lập trình lôgic
• Ngôn ngữ prolog
• Luật trong prolog
• Cấu trúc của prolog
• Prolog và logic toán học
• Nguyên lý ngôn ngữ lập trình
• Bài giảng Nguyên lý ngôn ngữ lập trình
• Ngôn ngữ lập trình hàm
• Hàm toán học
• Bản chất của lập trình hàm
• Ngôn ngữ LISP
• Kỹ thuật lập trình
• Hàm và việc tổ chức chương trình
• Modul hóa chương trình
• Tìm hiểu về hàm
• Khai báo hàm
• Cách gọi hàm
• Tham số của hàm
• Hàm trong lập trình nâng cao
• Phương pháp lập trình hướng đối tượng
• Lập trình hướng đối tượng
• Bài giảng Lập trình hướng đối tượng
• Tính chất hàm dựng
• Tính chất hàm hủy
• Hàm toán tử
• Hàm dựng và hàm hủy
• Hàm dựng sao chép
• Toán tử độc lập
• Hàm Lập trình cấu trúc
• Bài giảng Hàm Lập trình cấu trúc
• Hàm trong C++
• Chồng các toán tử
• Học lập trình C
• Bài giảng Lập trình cơ bản
• Ngôn ngữ lập trình C
• Câu lệnh trong lập trình C
• Cấu trúc của hàm
• Khai báo hàm và nguyên mãu hàm
• Nguyên mẫu hàm
• Hàm kiểu void
• Ngôn ngữ lập trình
• Kỹ thuật lập trình C
• Bài giảng Lập trình hướng đối tượng C++
• Lập trình hướng đối tượng C++
• Hàm bạn
• Hàm độc lập
• Hàm thành viên
• Hàm bạn của nhiều lớp
• Bài giảng Kỹ thuật lập trình
• Lập trình C
• Lập trình C++
• Hàm thư viện
• Sử dụng hàm tự tạo
• Chữ ký hàm
• dạng hàm
• Lập trình cơ bản
• Con trỏ hàm
• Nhập môn lập trình
• Bài giảng Nhập môn lập trình
• Bài giảng Hàm
• Cú pháp hàm
• Lời gọi hàm
• Hàm nâng cao phần 1
• Các tham số của hàm main
• Hàm có đối số mặc định
• Hàm trả về tham chiếu
• Hàm main và hàm thư viện
• Prototype của hàm
• Hàm nâng cao
• Tham số của hàm main
• Hàm nội tuyến
• Khuôn mẫu hàm
• Nạp chồng hàm
• Hàm dựng trong kế thừa
• Hàm hủy trong kế thừa
• Con trỏ trong kế thừa
• Bài giảng Ngôn ngữ lập trình C
• Định nghĩa hàm
• Ba vấn đề về con trỏ
• Bài giảng Lập trình nâng cao
• Lập trình nâng cao
• Hàm định nghĩa sẵn
• Biến cục bộ
• Hàm đệ quy
• Hàm khởi tạo
• Giới thiệu lớp vector
• Từ khóa const