miniKanren es una familia de pequeños lenguajes integrados que aportan el potencial de la programación relacional (lógica pura) a la programación generalista. Las líneas de investigación actuales del proyecto incluyen varias técnicas para mejorar el rendimiento, como la evaluación parcial y la conversión funcional. La evaluación parcial permite eliminar algunas ineficiencias de los programas relacionales mediante la inspección estática y la transformación del código fuente. También estamos trabajando en la conversión de miniKanren en un lenguaje de programación funcional para mejorar su rendimiento.

• OCanren GitHub
• Evaluación parcial y conversión
• Introducción a la programación relacional
• Sitio oficial del lenguaje miniKanren