今天和其他朋友聊天，他说他有逻辑编程能力，所以我很好奇。
【问题讨论】：
标签： programming-languages logic prolog
wikipedia 条目很好地解释了这一点：虽然表面上这似乎是一个多余的术语，因为所有编程都使用逻辑，但实际上它是一个定义良好的范式的术语，例如，“函数式编程”和“对象-面向编程”。具体来说，
逻辑编程，在较窄的范围内 更普遍的意义 理解，是使用逻辑作为 既是声明性的又是程序性的 表示语言。它基于 基于一个倒退的事实 推理定理证明器应用于 陈述句形式为 含义：
If B1 and … and Bn then H
将含义视为 目标减少程序：
to show/solve H, show/solve B1 and … and Bn.
Prolog 语言（在某些变体中）可能仍然是最流行的逻辑编程语言。
【讨论】：
我通常将其理解为使用 prolog。 Prolog 允许您定义谓词和真值。然后序言解释器可以使用标准逻辑规则得出进一步的“真相”。例如，以下每一行在第一个和第二个参数之间建立了father_child 和mother_children 关系（提到的人来自辛普森一家）。
member(X, [X|_]).
member(X, [_|T]) :- member(X,T).
mother_children(marge, [bart, lisa, maggie]).
mother_children(mona, [homer, jay]).
mother_child(X, Y) :- mother_children(X, C), member(Y, C).
father_child(homer, bart).
father_child(homer, lisa).
father_child(homer, maggie).
father_child(abe, homer).
father_child(abe, herb).
father_child(abe, abbie).
sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y).
parent_child(X, Y) :- father_child(X, Y).
parent_child(X, Y) :- mother_child(X, Y).
如果您将该程序启动到 prolog 解释器中，然后询问它sibling(X,Y)，它将返回给您所有存在的兄弟姐妹对。有趣的是，我们从来没有明确说过，巴特是丽莎的兄弟姐妹。我们只是定义了父亲和母亲的关系，但是通过定义进一步的规则，prolog 使用正常的规则来推导出满足sibling 规则的名称。
Prolog 在 80 年代更流行，在各种 AI 系统等中。这些天它有点过时了（不是你在大学里知道的那样，它仍然很热）。
【讨论】：
我认为那句话的意思是，“我可以编程if/then/else 语句”。或者换句话说，我认为这句话的意思是，“我不能用任何真正的技术编程”。我不会留下深刻的印象。
【讨论】：
append 函数。逻辑编程很模糊，它确实可能意味着很多东西（这也是为什么维基百科的文章如此模糊），但我认为它是指序言之类的东西。