miniKanren 中有理树统一的实证研究
计算机科学中的逻辑
2025-10-07 v1 编程语言
摘要
我们present了关于 miniKanren 中有理树统一的研究。我们给出有理树的定义，指定统一算法并证明其一些性质。我们还引入了若干启发式优化并对其进行相关基准测试的评估。最后我们讨论了有理树与传统统一算法之间的关系以及它们在关系编程语境下可能的共存情形。
关键词
引用
@article{arxiv.2510.03789,
title = {An Empirical Study of Rational Tree Unification for miniKanren},
author = {Eridan Domoratskiy and Dmitrii Kosarev and Dmitry Boulytchev},
journal= {arXiv preprint arXiv:2510.03789},
year = {2025}
}