miniKanren — семейство небольших встраиваемых языков, которые позволяют пользоваться возможностями реляционного (чисто логического) программирования в программировании общего назначения. Текущие направления исследований в рамках этого проекта включают ряд методик повышения производительности, в том числе частичную оценку и функциональное преобразование. Частичная оценка позволяет повысить эффективность реляционных программ за счет статических инспекций и трансформации исходного кода. Кроме того, мы работаем над преобразованием miniKanren в язык функционального программирования, чтобы улучшить его производительность.

• OCanren GitHub
• Частичная оценка и преобразование
• Введение в реляционное программирование
• Официальный сайт языка miniKanren