Tại sao không phải là động cơ quy tắc được viết trong Prolog? [đóng cửa]

Từ những gì tôi đã thấy về Prolog, có vẻ như nó sẽ là lý tưởng để chế tạo một công cụ quy tắc cho một ứng dụng. Tuy nhiên, tôi không tin rằng tôi đã từng thấy một công cụ quy tắc được viết bằng Prolog. Có một số hạn chế cố hữu trong Prolog (ví dụ: thuật toán thu gom rác kém) sẽ ngăn không cho nó được sử dụng để xây dựng một công cụ quy tắc?

Các công cụ quy tắc trong giai đoạn trứng nước được viết gần như độc quyền bằng Prolog - đó là ngôn ngữ logic. Đối với một bộ quy tắc nhỏ họ làm việc tuyệt vời. Tuy nhiên, hóa ra họ không có quy mô rất tốt. Tôi không có một tài liệu tham khảo dứt khoát, nhưng sự hiểu biết của tôi là cách Prolog xử lý chuỗi các quy tắc là không hiệu quả - mô hình đệ quy được tạo ra để tạo ra các ngăn xếp rất lớn khiến nó thu thập dữ liệu.

Sự phát triển của thuật toán RLEX và những người kế thừa của nó cho phép một cách hiệu quả hơn để xử lý số lượng lớn các quy tắc, và do đó đã tiếp quản.

Có lẽ prolog hiện đại sẽ hiệu quả hơn so với những năm 80, khi hầu hết các công việc ban đầu đã được thực hiện.

Câu trả lời trực tiếp: bởi vì nếu những người tạo ra Công cụ quy tắc biết về Prolog (hoặc Mercury hoặc PLANNER hoặc khắc) thì họ sẽ không viết Công cụ quy tắc, họ sẽ sử dụng Prolog.

Nói chung, điểm của một công cụ quy tắc là nó là một phần của ứng dụng khác. Rất hiếm khi thấy các ứng dụng được viết bằng Prolog và không có giao diện phổ biến để kết nối Prolog với các ứng dụng được viết bằng các ngôn ngữ khác.

Một công cụ dựa trên quy tắc cho các công cụ quy tắc, được viết để thêm vào các ứng dụng khác, là CLIPS . CLIPS dựa trên OPS5 và sử dụng thuật toán Rete để cắt tỉa các quy tắc.