miniKanren is an embedded Domain Specific Language for logic programming. miniKanren has been implemented in a growing number of host ...
確定! 回上一頁