AI 中文总结
介绍chrKanren这一miniKanren方言，支持CHR。展示如何将CHR约束传播机制集成到miniKanren搜索流语言，使其完备，并通过chrKanren展示了miniKanren中约束的新应用，如语义统一和类型及示例导向合成。
AI 中文摘要
我们展示了chrKanren，它是纯关系型约束逻辑编程语言miniKanren的一种方言，支持约束处理规则（CHR），这是一种用于编写如约束求解器等基于规则程序的语言。我们说明了如何将CHR的约束传播机制集成到miniKanren搜索流语言中，使两个过程都保持完备性。我们还用chrKanren展示了miniKanren中约束的新应用，比如用户定义数据结构的语义统一以及MYTH风格关系解释器的类型和示例导向合成。
英文摘要
We present chrKanren, a dialect of the purely relational constraint logic programming language miniKanren which includes support for Constraint Handling Rules (CHR), a language for writing rule-based programs such as constraint solvers. We show how to integrate CHR's constraint propagation mechanism into the language of miniKanren search streams such that both processes remain complete. We also use chrKanren to illustrate novel applications of constraints in miniKanren, such as semantic unification of user-defined data structures and type-and-example-directed synthesis for relational interpreters in the style of MYTH.
CommentsIn Proceedings ICLP 2026, arXiv:2607.17707. The source code for chrKanren is available as free software at https://github.com/rvs314/chrKanren
Journal refEPTCS 450, 2026, pp. 416-429
