miniKanren is a family of programming languages for relational programming. As relations are bidirectional, if miniKanren is given an ...
確定! 回上一頁