研究突破 · 人工校订条目

Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场

Prolog

日期

1972 年

类别

研究突破

机构 / 模型

Alain Colmerauer & Philippe Roussel

证据

1 条 · 1 类

Prolog 以霍尔子句和归结原理为基础，把程序写成事实与规则，由推理引擎自动搜索解。它成为逻辑编程与专家系统的重要语言，也影响了后来的约束求解与知识表示。

校订注记：维基百科年表与条目核对

• 编程
• 算法
• 逻辑
• 搜索