Chương 5 của SICP giải thích sơ đồ đánh giá siêu sơ đồ của máy đăng ký. Có bất kỳ điều gì cung cấp loại tương tự Mini-Kanren về mặt nguyên tắc Đề án không? Tôi biết rằng có một Luận văn được viết trên
Tôi muốn sử dụng Corejlogic của Clojure. Tuy nhiên, tôi cũng muốn hiểu nó hoạt động như thế nào. Có một lời giải thích ngắn gọn về nó ở đâu đó? (Giống như thực hiện một bộ đánh giá metacircular?) Cảm
Tất cả các mối quan hệ miniKanren kết thúc bằng chữ cái o. Động lực cho việc này là gì? Tôi thấy rằng thư viện core.logic Clojure cũng thực hiện điều này.
Tôi mới bắt đầu chơi với core.logic, và để làm việc trên nó, tôi đang cố gắng thực hiện một cái gì đó đơn giản tương tự như một vấn đề mà tôi hiện đang làm việc một cách chuyên nghiệp. Tuy nhiên, một