16Nhiệt
2Trả lời
Làm thế nào để mô phỏng một 'tham gia bên ngoài' trong core.logic?
13Nhiệt
2Trả lời
Hiểu mô hình thực hiện Mini-Kanren
5Nhiệt
2Trả lời
Làm thế nào để thực hiện logic Horn đầy đủ khai báo?
21Nhiệt
2Trả lời
Giải thích ngắn gọn về Core.logic
7Nhiệt
2Trả lời
Tại sao tên miniKanren luôn kết thúc bằng `o`?