Prolog

NộI Dung

Định nghĩa - Prolog có nghĩa là gì?
Giới thiệu về Microsoft Azure và Microsoft Cloud | Trong suốt hướng dẫn này, bạn sẽ tìm hiểu về điện toán đám mây là gì và Microsoft Azure có thể giúp bạn di chuyển và điều hành doanh nghiệp của bạn từ đám mây như thế nào.
Techopedia giải thích Prolog

Định nghĩa - Prolog có nghĩa là gì?

Lập trình en Logique (Lập trình theo logic) hoặc Prolog là 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.

Giới thiệu về Microsoft Azure và Microsoft Cloud | Trong suốt hướng dẫn này, bạn sẽ tìm hiểu về điện toán đám mây là gì và Microsoft Azure có thể giúp bạn di chuyển và điều hành doanh nghiệp của bạn từ đám mây như thế nào.

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à được dựa trên sự giải thích thủ tục của Robert Kowalski Que 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 biểu diễn tri 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: