编程语言和工具实验室

Relational Programming: miniKanren

miniKanren 是一个小型的嵌入式语言系列,它将关系型(纯逻辑)编程的力量带到了通用编程中。

miniKanren 是一个小型的嵌入式语言系列,它将关系型(纯逻辑)编程的力量带到了通用编程中。 该项目目前的研究方向包括几种提高性能的技术,包括部分评估和功能转换。 部分评估使我们有可能通过静态检查和转换源代码来摆脱关系型程序的一些低效问题。 我们还在努力将 miniKanren 转换为函数式编程语言,以提高其性能。

参与者

Ekaterina Verbitskaia
Daniil Berezun