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?)Giải thích ngắn gọn về Core.logic
Cảm ơn!
core.logic là triển khai miniKanren - được viết bởi Dan Friedman, William Byrd, Oleg Kiselyov và những người khác. Đó là một nỗ lực để nhúng chương trình quan hệ kiểu Prolog trong Lisp.
Nếu bạn muốn hiểu thế nào nó hoạt động bạn sẽ cần phải đọc ba chương đầu tiên của luận án William Byrd: https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf?sequence=1
Các lý luận âm mưu cũng bao gồm các unifier một cách chi tiết. Tuy nhiên, mục tiêu tinh tế hơn nhiều của miniKanren không được đưa ra một cách điều trị toàn diện - bạn sẽ cần phải xem xét luận án của Byrd về điều đó.
Thậm chí sau đó, như với thông dịch viên siêu thông tư - không thể đạt được nhiều thông tin chi tiết mà không cố gắng tự triển khai hệ thống bằng nhiều ngôn ngữ lập trình khác nhau.
Tôi muốn thêm: https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer cũng như lời khuyên để xem xét lập trình trong Prolog (ví dụ khác, ý tưởng tương tự, mặc dù ít linh hoạt hơn so với miniKanren). – Isaac
Liên kết của bạn với luận án của Byrd bị hỏng. :-( –
liên kết luận án dường như hoạt động trở lại. – dnolen
Bạn cũng có thể nhìn thấy David's talk on core.logic từ Strange Vòng 2012.
Và cho ra đời rất nhẹ đến chủ đề also see: sokuza-kanren
Tại sao này đóng cửa như OT? Đối với OP, hãy xem https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer. – drewr
không có ý tưởng. đã bỏ phiếu để mở lại. –
Câu hỏi này rất phù hợp với thẻ này. –