miniKanren é uma família de pequenas linguagens embutidas que traz o poder da programação relacional (lógica pura) à programação de uso geral. As direções atuais da pesquisa deste projeto incluem várias técnicas para melhorar o desempenho, incluindo a avaliação parcial e a conversão funcional. A avaliação parcial torna possível eliminar algumas ineficiências dos programas relacionais realizando inspeções estáticas e transformando o código-fonte. Também estamos trabalhando na conversão do miniKanren em uma linguagem de programação funcional, para melhorar seu desempenho.

• OCanren GitHub
• Avaliação parcial e conversão
• Introdução à programação relacional
• Site oficial da linguagem miniKanren