GitHub repository: latticetower/MuKanren.jl
Primary language: Julia
Description: minimal miniKanren implementation in Julia