tailieunhanh - 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 .