问题描述
我正在学习逻辑编程范例，我的教授谈论命题中的量词和逻辑连接器。这些不仅是用于命题的运算符吗？我没有看到我的教授称它们为运算符，是出于某种原因，还是可以将它们归类为逻辑编程范例？
解决方法
如果您在谈论Prolog（而不是某些完整的First Order Logic证明者），operator是谓词或函数名称的技术术语，可以在子表达式之前，之后或之间编写。
这些确实包括“ 和”（,），“ 或”（;），“ 经典/材料”含义”（:-）读作 head⊂body （但实际上是intuitionistic含义，因为它说“证明头部，证明身体”，和 not “身体为假或头部为真”）和 if-then-else （基于两个运算符->，{{1 }}）。
没有没有明确写明的量词-每个子句都对其所有变量进行隐式通用量化（变量是每个子句的局部变量）
For子句
;阅读
f(X,Y) :- g(X,Z),h(Z,Y).
所有存在的量词都已通过Skolemization预先消除，从而将存在的量化变量替换为（新的）常量（可能在函数项内）。 （∀(X,Y,Z): f(X,Y).
（插入符号）运算符中还有left的少量剩余，用于bagof/3之类的高阶谓词，其中^用于创建“本地命名上下文”并限制{ X^...之后的表达式的{1}}。