This library is a port of miniKanren, which is a domain-specific language for logic programming. miniKanren defines a set of simple constructs for creating ...
確定! 回上一頁