miniKanren is a domain-specific language for programming relationally, with structural constraints. miniKanren is shallowly embedded in more ...
確定! 回上一頁