For those that don't know minikanren [1], it's an embedded Domain Specific Language for logic programming. It's similar in principle to ...
確定! 回上一頁