目录:
定义-Prolog是什么意思？
Logique编程（逻辑编程）或Prolog是一种高级编程语言，其起源于一阶逻辑或一阶谓词演算。 该语言是由Alain Colmerauer领导的小组在1970年代初在法国马赛构想的。 它是最早的逻辑编程语言之一，并且在今天仍然很流行。 它是一种通常与计算语言学和人工智能相关的编程语言，用于专家系统，定理证明和自然语言解析树上的模式匹配以及自然语言处理。
技术百科解释了Prolog
第一个Prolog系统是由Colmerauer和Philippe Roussel于1972年开发的，该系统基于Robert Kowalski对Horn子句的程序解释。 其部分动机是希望将逻辑作为声明性知识表示语言与知识的过程表示进行协调。 Prolog是专为自然语言处理而开发的-与计算机和人类（自然）语言交互有关。
Prolog与其他编程语言不同，因为它是声明性的而不是命令序列。 它有时被称为基于规则的语言或声明性语言，因为它是根据对象属性之间的关系表示的，以事实和规则的形式表示。 通过对这些关系运行查询来启动计算。
应用包括：
- 机器学习
- 机器人规划
- 自动推理
- 解决问题
- 智能数据库检索
- 自然语言理解
- 规格语言
