prolog - Prolog 规则和查询有什么区别？

Question

我是逻辑编程新手，发现很难理解规则和查询之间的区别，我觉得它们基本上是相同的。任何有助于澄清这一点的帮助将不胜感激。

Answer 1

从语法上来说，它们基本上是相同的； “p(1).”可以是规则，也可以是查询，具体取决于您放置它的位置。

从语义上讲，它们不是。
“p(1).”作为规则告诉 Prolog“p(1) 为真”。
“p(1 ).”作为查询询问 Prolog“p(1) 为真吗？”。