“:-”中缀运算符的名称答案

【问题标题】：Name for ":-" infix operator“:-”中缀运算符的名称
【发布时间】：2016-04-12 17:59:46
【问题描述】：

":-" 在 Prolog 逻辑编程语言中用作中缀运算符，在以下上下文中，大致意思是：

H :- B1, B2, ... BN

如果主体B1 到BN 都是可证明的，则H 是可证明的。

值得注意的是，在我学习 Prolog 的所有时间里，我都忽略了给这个符号命名。有人知道:- 的约定名称是什么吗？

【问题讨论】：

标签： prolog

【解决方案1】：

:- 符号代表一个暗示箭头。如果您使用逻辑符号编写示例，则显示为：

H ← B1 ∧ B2 ∧ ... ∧ BN

因此您也可以说：“H 被 B1 和 B2 以及 ... 和 BN 隐含”或“规则的主体隐含它的头部”。将运算符本身称为“蕴涵箭头”或仅称为“蕴涵”也是正确的。

【讨论】：

【解决方案2】：

我不确定它是如何达成一致的，但这里有一个将其命名为“neck”的参考：

【讨论】：