📁 基于逻辑的编程语言
此类别涉及完全或部分支持逻辑编程基本原理的编程语言和文档：基于一阶逻辑的声明性关系编程，通过Horn子句，作者编写事实和规则（子句）数据库，用户提供目标，程序通过解析或反向链来证明这些目标。逻辑编程在人工智能中得到了广泛的应用。第一种这样的语言是Prolog。在此页面上，语言分为两组和两个级别：1）顶级组：语言的类型或类别。2）底层组：特定语言，有自己的目录类别。
子分类
条目 (14)
CMU Scheme Repository
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/scheme/0.html