Prolog — 逻辑编程语言

事实

一种用事实和规则进行逻辑推理的编程语言。

人话

Prolog 像侦探玩剧本杀：给线索和规则，它自己顺藤摸瓜找凶手。

常用于专家系统、定理证明，擅长把“已知”推成“所以”。

相关概念

• Logic Programming（逻辑编程）
• 逻辑合一
• Resolution Principle（归结原理）
• 专家系统

Logic Programming
Prolog 是逻辑编程最经典的代表语言之一。

Unification
合一让查询里的变量和规则自动对上。

Resolution
归结为它的自动推理提供逻辑基础。

Expert System
专家系统常用这类规则推理表达知识。