Prolog

释义 Definition

Prolog（常写作 Prolog）是一种逻辑编程语言，用“事实（facts）”“规则（rules）”和“查询（queries）”来描述问题与求解过程，常用于人工智能、知识表示、推理系统等领域。（也有人把 prolog 当作 prologue“序言/开场白”的非正式拼写，但更常见指这门语言。）

发音 Pronunciation (IPA)

/ˈproʊlɔːɡ/ （也常听到 /ˈproʊlɒɡ/）

例句 Examples

I wrote a small family tree program in Prolog.
我用 Prolog 写了一个小型的家谱程序。

Prolog is well-suited to problems that involve symbolic reasoning and rule-based inference.
Prolog 很适合需要符号推理与基于规则的推断类问题。

词源 Etymology

Prolog 这个名称常被解释为 PROgramming in LOGic（“在逻辑中编程”）的缩写，强调它以一阶逻辑与规则推导为核心；该语言在 20 世纪 70 年代于欧洲学术界发展并流行起来。

相关词 Related Words

• Logic
• Predicate
• Inference
• Rule
• Query
• Unification
• Backtracking
• Knowledge

文学与作品 Literary / Notable Works

• The Art of Prolog（Sterling & Shapiro）——经典 Prolog 著作，系统讲解逻辑编程思想与技巧。
• Programming in Prolog（W. F. Clocksin & C. S. Mellish）——广为使用的入门与教材级作品。
• Gödel, Escher, Bach: An Eternal Golden Braid（Douglas Hofstadter）——在讨论 AI 与形式系统的语境中常提及逻辑推理与相关语言（包括 Prolog 的语境）。