逻辑程序设计范式的主要构造

Question

我们说：

1. 在程序范式中，程序的主要结构是程序；
2. 在面向对象范式中，主要结构是“对象”；
3. 在功能范式中，主要结构是“功能”；

但是逻辑范式是什么呢？公理？谓词？

我很困惑。

Answer 1

喇叭条款

维基百科

角子句也是逻辑编程的基础，在逻辑编程中，通常以隐含的形式写出肯定从句： 实际上，通过确定子句来产生新的目标子句是SLD解析推理规则的基础，用于实现逻辑编程和编程语言Prolog。

编辑

由于OP试图将谓词(一阶谓词逻辑)与角子句关联起来。

参见:一阶谓词逻辑到角子句逻辑的翻译:在逻辑程序设计中安东尼·A·阿比

为了避免链接腐烂，我试图在这里复制这些说明，但是我想不出如何在引用的部分中列出一个列表。