通过剪枝与记忆化实现 miniKanren 的自底向上枚举

通过剪枝与记忆化实现 miniKanren 的自底向上枚举
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 始终致力于这些价值观，并仅与遵循这些价值观的合作伙伴开展合作。您是否有意开展一个能为 arXiv 社区增值的项目？了解更多关于 arXivLabs 的信息。

Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录通过剪枝与记忆化实现 miniKanren 的自底向上枚举 (arxiv.org) 13 点，Jimmc414 发布于 5 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论帮助 ashton314 4 小时前 [–] 喔，我喜欢任何与 miniKanren 相关的东西。我仔细研读了原版 miniKanren 论文中的实现；你可以在这里看到我的笔记和实现：https://codeberg.org/ashton314/microKanren miniKanren 论文：http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf 此外还有一个相关的——miniKanren 的实际用例：https://aphyr.com/posts/354-unifying-the-technical-interview 回复考虑申请 YC 2026 年秋季批次！申请开放至 7 月 27 日。准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

通过剪枝与记忆化实现 miniKanren 的自底向上枚举 Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

通过剪枝与记忆化实现 miniKanren 的自底向上枚举
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization