Relational Programming: miniKanren 项目详情. ... miniKanren 是一个小型的嵌入式语言系列,它将关系型(纯逻辑)编程的力量带到了通用编程中。
確定! 回上一頁