• 埃兰

• 101篇参考文献[SW02179]
• 逻辑编程语言，约束求解器和决策过程，并提供模块化框架…逻辑编程语言，约束求解器和决策过程，并提供模块化框架…重写的范例既提供了符合逻辑的 框架其中演绎系统可以表达…

• 乐高

• 105篇参考文献[SW09685 ]
• 各种相关类型系统-爱丁堡逻辑的 框架（LF），结构演算…

• 精灵

• 39篇参考文献[SW21361]
• 基于LF的程序设计语言逻辑的 框架. 它没有任何联系…编程语言的性质证明逻辑学. 它已被应用于各种实例，一些…也是一个更完整的参考书目符合逻辑的 框架一般来说。工作

• GF

• 32篇参考文献[SW13667 ]
• 定义语法。它使用了逻辑的 框架（LF）用于抽象语法的描述…

• 美泰普尔

• 26篇参考文献[SW04624]
• 事情：这是一个符合逻辑的 框架其中倍数逻辑学可以定义和相关…

• 远端的

• 95篇参考文献[SW01746]
• 阈值层网络逻辑单位有吸引力框架对于图案的设计…

• 宝塔

• 14篇参考文献[SW08569]
• 重写逻辑 框架对于软约束。软约束扩展经典约束来处理…框架软约束的原型——《罗西》、《蒙塔纳里》和《重写》逻辑…我们的原型改写中的解决方法逻辑 框架对于软约束，嵌入了软约束…

• 羊蹄

• 56篇参考文献[SW1548]
• 更一般的波传播算法框架. 可以使用这个扩展…容量函数，以及逻辑上矩形曲线网格。发达国家框架需要一种改进的方法…

• 德尔芬

• 16篇参考文献[SW21365 ]
• 用数据。一级是符合逻辑的 框架LF〔5〕，用作德尔芬的数据…

• 极小值

• 43篇参考文献[SW29 625]
• 直觉语气情态逻辑S4提供了表现力框架用于计算和分析计算阶段…

• 氯化铯

• 45篇参考文献[SW09462]
• 检查员。可判定的决策程序逻辑学和符合逻辑的理论已被证明是有用的工具…实现一个框架合并辅助决策程序符合逻辑的理论变成决策

• n3-逻辑

• 9篇参考文献[SW03]
• N3Logic：A符合逻辑的 框架对于万维网，语义网向……迈进。交互作用逻辑上互联数据通过资源描述等知识模型框架…

• 2OBJ

• 9篇参考文献[SW06964 ]
• 2OBJ是一个“元-符合逻辑的 框架定理证明器，即一个可以定制的系统…任意定理的证明符合逻辑的系统，并证明了证明定理。

• TVLA

• 31篇参考文献[ SW0988]
• TVLA（三值）逻辑分析器）。TVLA是一种“YACC”式的。框架自动构建静态…其中使用操作语义指定符合逻辑的公式。TVLA已经在Java中实现了…

• 梅塔姆

• 55篇参考文献[SW06568]
• 逻辑介绍了一种可执行命令语言。提供混凝土的方法框架…关于可执行文件的元方法逻辑学…

• 遥控玩具

• 55篇参考文献[SW09812]
• 理论的框架对于声明性编程，其基础是基于构造函数的重写。逻辑带着懒惰…

• 维利尔

• 8篇参考文献[SW13522]
• 设计是整合富人符合逻辑的 框架-类似于一个支持…需要大量的补充逻辑语言，所以健全是有保证的。我们建造了…

• 分离逻辑

• 6篇参考文献[SW28 59]
• 分离逻辑 框架对于命令性的HOL。我们提供了一个框架用于分离-逻辑基于正确性…

• PAL+

• 3篇参考文献[SW21366 ]
• 无拉姆达符合逻辑的 框架. 无λ符合逻辑的 框架进行参数化和定义…框架这里介绍，PAL+，是符合逻辑的 框架对于类型理论的规范和实现…马丁洛夫符合逻辑的 框架（NordSr.Om等人，1990），可以引入计算规则…其他人可以做到符合逻辑的 框架通过lambda抽象…

• CC（FD）

• 17篇参考文献[SW21237 ]
• 框架〔33〕，约束的扩展逻辑程序设计（CLP）方案〔21〕。它的约束求解器…