Add miniKanren project.
Add Operating System.