We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language miniKanren. We identify a number of issues, caused by miniKanren peculiarities, and describe a novel approach to specialization based on partial deduction and supercompilation. The results of the evaluation demonstrate successful specialization of relational interpreters. Although the project is at an early stage, we consider it as the first step towards an efficient optimization framework for miniKanren.

中文翻译：

---

小看人部分推导的实证研究

我们在关系编程语言 miniKanren 的背景下研究联合部分推导，这是一种旨在提高逻辑程序性能的高级专业化技术。我们确定了一些由 miniKanren 特性引起的问题，并描述了一种基于部分推导和超级编译的新型专业化方法。评估结果证明了关系口译员的成功专业化。尽管该项目处于早期阶段，但我们认为这是迈向 miniKanren 高效优化框架的第一步。