卡伦 swMATH ID: 20083 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 描述： KANREN是一个具有一级关系的声明性逻辑编程系统，嵌入在Scheme的纯函数子集中。该系统具有集合理论语义、真联合、公平调度、一级关系、词汇范围的逻辑变量、深度优先和迭代深化策略。该系统实现了无剪切的高性能和表达能力。该系统的应用范围从专家系统到多态类型推理和重载解析，再到模型检查和定理证明。该系统可以用作元逻辑系统。KANREN在任何有Scheme实施的计算机平台上工作（从PalmPilot和iPAQ到Unix/Linux/Winxx/Mac工作站和服务器到MindLego积木）。系统可以编译或解释。作为一个Scheme库，KANREN可以通过宿主Scheme实现提供的任何图形或命令行界面与用户交互。 主页： 网址：http://kanren.sourceforge.net/ 相关软件： 迷你凯恩人；自动化；AIspace公司；特尤斯；GHC公司；DrScheme博士；Mz方案；LISP公司；精益TAP；艾伦TAP；Twelf公司；萨奇莫；TPTP公司 引用于： 7文件 全部的 前5名14位作者引用 2 德米特里·布里切夫 2 William E.伯德。 2 丹尼尔·弗里德曼（Daniel P.Friedman）。 1 安基永 1 瑞安·库佩普 1 马提亚斯·费莱森 1 奥列格·基塞利约夫 1 彼得·洛佐夫 1 约瑟夫·P·奈尔（Joseph P.Near）。 1 德米特里·罗兹普洛哈斯 1 Shan、Chung-chieh 1 埃里克·坦特 1 安德烈亚·维佐西 1 安德烈·维亚特金 2篇连载文章中引用 1 计算机程序设计科学 1 函数编程杂志 在3个字段中引用 7 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文