Research breakthrough · curated entry
Colmerauer and Roussel create logic programming
Prolog
- Date
- 1972
- Category
- Research breakthrough
- Organization / Model
- Alain Colmerauer & Philippe Roussel
- Evidence
- 1 source · 1 evidence family
Prolog rests on Horn clauses and resolution, writing programs as facts and rules with an inference engine searching for solutions. It became a key language of logic programming and expert systems and influenced later constraint solving and knowledge representation.
Curator's note: Cross-checked against the Wikipedia chronology and article.
Curated sources · 1
Cite this page
This page is a curated static snapshot and can be cited directly. Preferred format GB/T 7714—2025 (electronic resource [EB/OL]); the other 5 styles open below, together with the machine-readable files.
GB/T 7714—2025 (electronic resource [EB/OL])
AI 纪年. Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场[EB/OL]. (1972)[2026-11-03]. https://aihist.net/e/prolog-1972.html.
APA 7 · American Psychological Association
AI 纪年. (1972). Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场 [Web page]. https://aihist.net/e/prolog-1972.html
MLA 9 · Modern Language Association
"Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场." AI 纪年, 1972, aihist.net/e/prolog-1972.html. Accessed 3 Nov. 2026.
Chicago 17 · notes-bibliography
AI 纪年. "Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场." Published 1972. Accessed Nov. 3, 2026. https://aihist.net/e/prolog-1972.html.
IEEE · citation-reference list
"Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场," AI 纪年, 1972. [Online]. Available: https://aihist.net/e/prolog-1972.html. [Accessed: 3 Nov. 2026].
ACM · author-date variant
AI 纪年. 1972. Colmerauer 与 Roussel 设计 Prolog，逻辑编程登场. Retrieved November 3, 2026 from https://aihist.net/e/prolog-1972.html.
All six styles come from one template and can be compared word for word. [引用日期], Accessed, urldate and Y2 all carry this page's build date, 2026-11-03 — a static page is an immutable snapshot, so substitute the date you actually consulted it. The address in every style is the archive's canonical page: this English page translates the same snapshot, and the work keeps its name, so one record cites both. For one-click copying use the same entry in the timeline, which takes the day you opened it. Expand the other styles before printing.