Giới thiệu
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ố (nonnumerical 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 logic dựa trên các mệnh đề Horn (Horn logic). 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.v…).
SWI-Prolog thuộc dòng họ Prolog Edinburgh do giáo sư Jan Wielemaker xây dựng vào năm 1983 tại khoa Khoa học Thông tin Xã hội, trường Đại học Amsterdam, Hà Lan. Đây là mã nguồn mở cho các nhà phát triển lập trình logic. SWI-Prolog có một thư viện vị từ, và tài liệu hướng dẫn phong phú. SWI-Prolog hoạt động theo hệ thống đơn thể, có giao diện trao đỏi hai chiều linh hoạt đối với ngôn ngữ C. SWI-Prolog là một ngôn ngũ sư phạm, do vậy bị hạn chế ít nhiều về tốc độ biên dịch chương trình.
SWI-Prolog hoạt động trên môi trường đồ họa XPCE định hướng đối tương (GUI) X-windows. SWI-Prolog tương đối dễ sử dụng nhờ khai thác các đặc trưng tương tác đồ họa. SWI-Prolog cho các phiên bản trên các hệ điều hành khác nhau tương thích với mọi mội trường.
Cách cài đặt SWI-Prolog
Công cụ SWI-Prolog là công cụ giúp lập trình logic với thư viện vị từ phong phú và là một mã nguồn mở. Để tìm hiểu thêm về công cụ này có thể vào trang chủ của SWI-Prolog tại: http://www.swi-prolog.org/. Sau khi download bạn có thể cài đặt theo các bước sau:
Bước 1: Chạy file SWI-Prolog_xxx.exe sau đó nhấn OK, tiếp đó nhấn I Agree (hình dưới)
Bước 2: Chọn môi trường chạy, cài đặt nhấn next để tiếp tục
Bước 3: Chọn nơi cài đặt và nhấn next để tiếp tục. Lưu ý đánh dấu lại thư mục cài đặt để link tới môi trường làm việc khi kết nối với giao diện C#. Nếu đường dẫn sai sẽ ảnh hưởng tới quá trình chạy trên giao diện C# sau này.
Bước 4: Chọn đuôi mở rộng hoặc là *.pl, hoặc là *.pro, nhấn Install để bắt đầu cài đặt
Bước 5: Sau khi chạy Install quá trình cài đặt sẽ bắt đầu thực this au khi kết thúc nhấn finished
Sau khi cài đặt xong sẽ xuất hiện giao diện SWI-Prolog như sau:
Để lập trình ngôn ngữ logic Prolog ta có thể viết trên bất cứ trình soạn thảo văn bản nào sau đó lưu file dưới dang *.pl hoặc *.pro tùy vào phần mở rộng bạn cài đặt trước đó. Sau khi thực hiện các câu lệnh lập trình xong, banjc ó thể chạy trược tiếp file *.pl, khi đó của sổ SWI-Prolog sẽ hiện ra nhằm giúp bạn thực hiện câu hỏi truy vấn. Để tìm hiểu thêm câu lênh bạn có thể gõ: ?- help. Để hiển thị trợ giúp về các câu lệnh truy vấn trong lập trinh Prolog
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ố (nonnumerical 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 logic dựa trên các mệnh đề Horn (Horn logic). 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.v…).
SWI-Prolog thuộc dòng họ Prolog Edinburgh do giáo sư Jan Wielemaker xây dựng vào năm 1983 tại khoa Khoa học Thông tin Xã hội, trường Đại học Amsterdam, Hà Lan. Đây là mã nguồn mở cho các nhà phát triển lập trình logic. SWI-Prolog có một thư viện vị từ, và tài liệu hướng dẫn phong phú. SWI-Prolog hoạt động theo hệ thống đơn thể, có giao diện trao đỏi hai chiều linh hoạt đối với ngôn ngữ C. SWI-Prolog là một ngôn ngũ sư phạm, do vậy bị hạn chế ít nhiều về tốc độ biên dịch chương trình.
SWI-Prolog hoạt động trên môi trường đồ họa XPCE định hướng đối tương (GUI) X-windows. SWI-Prolog tương đối dễ sử dụng nhờ khai thác các đặc trưng tương tác đồ họa. SWI-Prolog cho các phiên bản trên các hệ điều hành khác nhau tương thích với mọi mội trường.
Cách cài đặt SWI-Prolog
Công cụ SWI-Prolog là công cụ giúp lập trình logic với thư viện vị từ phong phú và là một mã nguồn mở. Để tìm hiểu thêm về công cụ này có thể vào trang chủ của SWI-Prolog tại: http://www.swi-prolog.org/. Sau khi download bạn có thể cài đặt theo các bước sau:
Bước 1: Chạy file SWI-Prolog_xxx.exe sau đó nhấn OK, tiếp đó nhấn I Agree (hình dưới)
Bước 2: Chọn môi trường chạy, cài đặt nhấn next để tiếp tục
Bước 3: Chọn nơi cài đặt và nhấn next để tiếp tục. Lưu ý đánh dấu lại thư mục cài đặt để link tới môi trường làm việc khi kết nối với giao diện C#. Nếu đường dẫn sai sẽ ảnh hưởng tới quá trình chạy trên giao diện C# sau này.
Bước 4: Chọn đuôi mở rộng hoặc là *.pl, hoặc là *.pro, nhấn Install để bắt đầu cài đặt
Bước 5: Sau khi chạy Install quá trình cài đặt sẽ bắt đầu thực this au khi kết thúc nhấn finished
Sau khi cài đặt xong sẽ xuất hiện giao diện SWI-Prolog như sau:
Để lập trình ngôn ngữ logic Prolog ta có thể viết trên bất cứ trình soạn thảo văn bản nào sau đó lưu file dưới dang *.pl hoặc *.pro tùy vào phần mở rộng bạn cài đặt trước đó. Sau khi thực hiện các câu lệnh lập trình xong, banjc ó thể chạy trược tiếp file *.pl, khi đó của sổ SWI-Prolog sẽ hiện ra nhằm giúp bạn thực hiện câu hỏi truy vấn. Để tìm hiểu thêm câu lênh bạn có thể gõ: ?- help. Để hiển thị trợ giúp về các câu lệnh truy vấn trong lập trinh Prolog
Bài viết liên quan
Bài viết mới