8
Tôi đang tìm kiếm tài liệu nghiên cứu hoặc bất kỳ ấn phẩm nào khác so sánh các máy trừu tượng khác nhau (nhiều hơn một) để thực hiện Prolog với trình thông dịch prolog không dựa trên các máy abstact. Những gì tôi đã thấy cho đến nay là phần lớn các triển khai có vẻ như dựa trên thông dịch viên prolog của họ trên Warren Abstract Machine mặc dù các máy trừu tượng khác đã được đề xuất (ví dụ: Vienna Abstract Machine, Tree-Oriented Abstract Machine) và không có bất kỳ sự so sánh chung nào. Tôi quan tâm đến việc so sánh hiệu quả (không phải là tính năng), mặc dù tất cả các phiên dịch so sánh sẽ cho phép lập trình logic ràng buộc.So sánh các máy trừu tượng để thực hiện Prolog
Xem http://stackoverflow.com/questions/4478615/alternatives-to-the-wam/4504325 Nó không phải là rõ ràng những gì khác mà bạn có thể có nghĩa là bởi một sự so sánh. Những gì bạn có nghĩa là "thực hiện Prolog với Prolog phiên dịch không dựa trên máy trừu tượng" là không rõ ràng với tôi: Bất kỳ thực hiện được dựa trên một số máy trừu tượng. – false
@false, tôi có thể viết trình thông dịch Prolog sử dụng C++ và sau đó nó sẽ không dựa trên bất kỳ máy trừu tượng nào. Và bằng cách so sánh, tôi có nghĩa là để kiểm tra ví dụ như thế nào hiệu quả (về thời gian tính toán, bộ nhớ tiêu thụ) mỗi thông dịch viên hoạt động. –
Thậm chí sau đó bạn đang sử dụng một máy trừu tượng. Vẫn còn rất nhiều quyết định được đưa ra. Hãy suy nghĩ về backtracking/trailing. – false