miniKanren is a family of constraint logic programming languages designed for exploring relational programming. That is, every program written in miniKanren ...
確定! 回上一頁