prolog子句的帮助

你说得对,PROLOG中的子句是Horn子句。此外,一个从句开头的连词如:

detected(proton), detected(electron) :- emissionOf(alpha), emissionOf(beta).

分离 号角条款:

detected(proton) :- emissionOf(alpha), emissionOf(beta).
detected(electron) :- emissionOf(alpha), emissionOf(beta).

detected(proton) 和 detected(electron) 是由身体目标的结合所暗示的。

请注意,可能有几种其他等效方法来编码您希望程序的含义,例如以下(作为示例):

emissionOf(alpha).
emissionOf(beta).

detected(X) :- 
  emissionOf(alpha), 
  emissionOf(beta), 
  (X = proton; X = electron).

执行目标 detected(X) X 到原子 proton ,然后到 electron 回溯。

,(detected(proton),detected(electron)) :- emissionOf(alpha), emissionOf(beta).

你实际上是在试图重新定义 ,/2 运算符,这是不允许的。你收到了什么错误信息?

你想说什么?两者都是 detected(proton) 和 detected(electron) 如果 emissionOf(alpha) 和 emissionOf(beta)

detected(proton) :- emissionOf(alpha), emissionOf(beta).
detected(electron) :- emissionOf(alpha), emissionOf(beta).

这将为您提供两种回溯解决方案。我认为这比他的第二个建议更清楚。

据我所知,这是Prolog算法固有的。每个陈述的句子必须是 Horn clause .