标签： computer-science theory lambda-calculus category-theory minikanren
我读到lambda演算是笛卡尔闭合类别的语言。
据我所知，minikanren或（部分）prolog等关系语言将对这些语言进行操作，但也适用于其他类别（因为函数是关系的特殊情况）。了解更多相关信息将有助于我理解这些语言可以为我做些什么而其他人无法做到。
那么关系语言描述的类别是什么？