Hiểu mô hình thực hiện Mini-Kanren

Question

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 Mini-Kanren (tuy nhiên, tôi chỉ quan tâm đến việc xây dựng một mô hình tinh thần, không phải tất cả các chi tiết tối ưu hóa gory). Tôi cũng biết rằng có một nhà nghiên cứu lý luận - tuy nhiên, tôi không tìm kiếm một loạt các ví dụ - tôi chỉ muốn hiểu các Mini-kanren ở dạng rất rất cơ bản của nó, giống như cách người ta có thể hiểu được kế hoạch bằng cách sự hiểu biết: eval, apply, if, set !, env

Cảm ơn!

Answer 1

Tôi nghĩ đọc Schemer hợp lý thực sự là cách phù hợp để tìm hiểu kiến ​​thức cơ bản. Bạn cũng có thể thử xem Dan Friedman và William Byrd's miniKanren talk từ Clojure Conj.

Vì miniKanren chỉ có tổng số seven forms, việc hiểu các biểu mẫu cơ bản thực sự chỉ là hiểu toàn bộ điều. Việc triển khai chỉ khoảng a page macro, vì vậy bạn có thể cố gắng hiểu điều đó. Bạn cũng có thể thử đọc các phần giới thiệu của số PhD thesis của William Byrd.

Answer 2

Trong sách The Reasoned Schemer có triển khai một hệ thống logic rất đơn giản trên đầu Đề án. Nó là khép kín, điều duy nhất cần thiết để hiểu nó là chính cuốn sách, mà - theo phong cách của những cuốn sách khác trong bộ truyện, là cực kỳ dễ làm theo.