@misc{aihist_prolog-1972,
  title        = {{Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场}}
  author       = {{AI 纪年}}
  date         = {1972}
  year         = {1972}
  howpublished = {\url{https://aihist.net/e/prolog-1972.html}}
  url          = {https://aihist.net/e/prolog-1972.html}
  urldate      = {2026-11-03}
  language     = {zh-CN}
  keywords     = {编程, 算法, 逻辑, 搜索}
  abstract     = {Prolog 以霍尔子句和归结原理为基础，把程序写成事实与规则，由推理引擎自动搜索解。它成为逻辑编程与专家系统的重要语言，也影响了后来的约束求解与知识表示。}
  note         = {AI 纪年静态引用页（EB/OL），构建于 2026-11-03}
}