Câu trả lời:
Nhớ rằng trí thông minh nhân tạo là một nỗ lực học tập trong thời gian dài nhất, Prolog là một trong những ngôn ngữ đầu tiên được sử dụng như một phần của nghiên cứu và thực hiện nó. Nó hiếm khi được đưa vào các ứng dụng thương mại lớn, đã nói rằng, một triển khai thương mại nổi tiếng là ở Watson, nơi prolog được sử dụng cho NLP .
Các trường Đại học Edinburgh đã đóng góp vào ngôn ngữ và nó đã đôi khi được gọi là "Edinburgh Prolog". Nó vẫn được sử dụng trong các giáo lý học thuật ở đó như là một phần của khóa học trí tuệ nhân tạo.
Lý do tại sao Prolog được coi là mạnh mẽ trong AI là vì ngôn ngữ cho phép dễ dàng quản lý các phương thức đệ quy và khớp mẫu.
Trích dẫn Adam Lally từ Trung tâm nghiên cứu Thomas J. Watson của IBM và Paul Fodor từ Đại học Stony Brook :
ngôn ngữ Prolog rất biểu cảm cho phép các quy tắc đệ quy thể hiện khả năng tiếp cận trong các cây phân tích và hoạt động của phủ định khi không kiểm tra sự vắng mặt của các điều kiện.
Vâng, như đã đề cập trong các câu trả lời khác, Prolog thực sự được sử dụng trong IBM Watson. Prolog không nhận được nhiều "cường điệu" và "buzz" những ngày này, nhưng nó vẫn hoàn toàn được sử dụng. Như mọi khi, nó có một số khu vực cụ thể nơi nó tỏa sáng, và các kỹ thuật cụ thể phù hợp với việc sử dụng nó. Cụ thể, những thứ như Inductive logic lập trình , chế logic lập trình , trả lời Set Lập trình và một số NLP ứng dụng có thể liên quan đến việc sử dụng rộng rãi của Prolog.