Prolog 逻辑连接器和量词只是逻辑编程范式中操作符的另一个术语吗？

我正在学习逻辑编程范式，我的教授谈论命题中的量词和逻辑连接词。难道这些不只是用于命题的运算符吗？我没有看到我的教授称它们为运算符，这有什么原因吗，或者它们可以在逻辑编程范式中被归类为运算符？

如果你说的是Prolog（与一些完整的一阶逻辑验证程序相反），它是一个用于谓词或函数名的技术术语，可以在前面编写，在子表达式之后或之间

这些事实上包括“和”（

，

）“或”（

；

）作为标题的“经典/实质含义”（

：-

）⊂ body（但它实际上是一种暗示，因为它说“证明头部，证明身体”，而不是“身体是假的或头部是真的”），if-then-else（基于两个操作符

->

，

；

）等等

没有显式编写的量词-每个子句在其所有变量上都隐式通用量化（变量是每个子句的局部变量）

For条款

f(X,Y) :- g(X,Z),h(Z,Y).

阅读

---

所有存在量词都已通过预先消除，存在量化变量被（新的）常量替换，可能在函数项内。（有一点剩菜∃ 在高阶谓词中使用的

^

（插入符号）运算符中，其中

X^…

用于创建“本地命名上下文”，并将

X

限制为

^

）后面的表达式。

不知道您的教授是谁，或者她如何使用这些术语，这很难回答。@ScottHunter你怎么知道是“她”？@TA_实习生：如果我用了“他”，你会考虑评论吗？@ScottHunter不确定。我只是把这个问题重读了5遍，想知道我是否遗漏了一个微妙的线索。此外，在我的母语中没有性别，只有一个词表示他/她/它（如果是人的话），实际上在口语中，人们甚至用同一个词表示他/她/它（人）和它（对象）。@ScottHunter和我知道的其他三种语言中，“教授”实际上就是性别化的。所以在谈论一个人时，你不能不明确地说出他们的性别（除了一些小的例外）。德语和斯拉夫语就是这样。

∀(X,Y,Z): f(X,Y) :- g(X,Z),h(Z,Y).