Mục lục:
Định nghĩa - Prolog có nghĩa là gì?
Programmation en Logique (Lập trình theo logic) hoặc Prolog là một ngôn ngữ lập trình cấp cao có nguồn gốc từ logic thứ nhất hoặc phép tính vị ngữ bậc nhất. Ngôn ngữ này được hình thành ở Brussilles, Pháp vào đầu những năm 1970 bởi một nhóm do Alain Colmerauer lãnh đạo. Nó là một trong những ngôn ngữ lập trình logic đầu tiên và nó vẫn còn phổ biến cho đến ngày nay. Nó là ngôn ngữ lập trình thường được kết hợp với ngôn ngữ học tính toán và trí tuệ nhân tạo và được sử dụng trong các hệ thống chuyên gia, chứng minh định lý và khớp mẫu trên cây phân tích ngôn ngữ tự nhiên và xử lý ngôn ngữ tự nhiên.
Techopedia giải thích Prolog
Hệ thống Prolog đầu tiên được phát triển vào năm 1972 bởi Colmerauer cùng với Philippe Roussel và dựa trên sự giải thích thủ tục của Robert Kowalski về các mệnh đề Horn. Nó cũng được thúc đẩy một phần bởi mong muốn dung hòa việc sử dụng logic như một ngôn ngữ biểu diễn tri thức khai báo với việc trình bày kiến thức theo thủ tục. Prolog được phát triển có chủ đích để xử lý ngôn ngữ tự nhiên - liên quan đến các tương tác ngôn ngữ giữa máy tính và con người (tự nhiên).
Prolog khác với các ngôn ngữ lập trình khác vì nó là khai báo thay vì các chuỗi lệnh. Đôi khi nó được gọi là ngôn ngữ dựa trên quy tắc hoặc khai báo vì nó được thể hiện dưới dạng mối quan hệ giữa các thuộc tính của các đối tượng, được trình bày dưới dạng sự kiện và quy tắc. Một tính toán được bắt đầu bằng cách chạy một truy vấn trên các quan hệ này.
Các ứng dụng bao gồm:
- Học máy
- Kế hoạch robot
- Lý luận tự động
- Giải quyết vấn đề
- Truy xuất cơ sở dữ liệu thông minh
- Hiểu ngôn ngữ tự nhiên
- Đặc tả ngôn ngữ
