📁 FunctionalLogic
函数式逻辑语言是一类多范式语言，其目标是结合两种最重要的声明性语言：函数式语言和基于逻辑的语言。它们是混合语言，基于（高阶）谓词演算，扩展了lambda演算的特性，允许引入（strong（er））类型等元素。这些语言的公认、恰当的命名是：函数逻辑。与纯函数式语言相比，函数式逻辑语言通过函数反转、部分数据结构、存在变量、非确定性搜索等特征的可用性更具表现力。与纯逻辑语言相比，函数式逻辑语言在操作上更有效，因为函数允许比谓词更有效的评估策略（懒惰评估、确定性缩减）。自20世纪90年代初以来，这一领域的活动急剧增加。
条目 (7)
该分类暂时没有条目。