＆＃34; - ＆＃34;在Prolog逻辑编程语言中充当中缀运算符，在以下上下文中，粗略地表示：
Foo = namedtuple('Foo', ['x'])
f = Foo(x='myattribute')
f.x
H :- B1, B2, ... BN
到H的身体都是可证明的，那么 B1是可以证明的。
有点值得注意的是，在我研究Prolog的所有时间里，我都忽略了为这个符号指定一个名字。有人知道BN的商定名称是什么吗？
答案 0 :(得分：4)
:-符号代表一个含义箭头。如果您使用逻辑符号编写示例，则会显示：
H←B1∧B2∧...∧BN
所以你也可以说：＆＃34; H由B1和B2以及......和BN＆＃34;暗示。或者＆＃34;规则的主体意味着它的头部。＆＃34; 给操作员本身打电话也是正确的＃34;暗示箭头＆＃34;或只是＆＃34;暗示＆＃34;。
答案 1 :(得分：2)
我不确定它是如何达成一致的，但是这里提到了将它命名为“颈部”：