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.

翻译：我们研究的是结合部分扣减,这是一种先进的专业化技术,目的是在关系性编程语言小型Kanren背景下改进逻辑程序的业绩。我们找出了由小型Kanren特殊性引起的若干问题,并描述了基于部分扣减和超编的新型专业化方法。评价结果表明关系性口译员的专业化很成功。虽然该项目尚处于早期阶段,但我们认为它是向小型Kanren高效优化框架迈出的第一步。