logic - 逻辑编程范式的主要结构

Question

我们说：

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

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

我很困惑。

Answer 1

号角条款

来自维基百科

Horn 子句也是逻辑编程的基础，通常以蕴涵的形式编写明确的子句：

实际上，目标子句与确定子句的解析产生新的目标子句是SLD解析推理规则的基础，用于实现逻辑编程和编程语言Prolog。

编辑

由于 OP 试图将谓词（一阶谓词逻辑）与角子句相关联

请参阅：一阶谓词逻辑到喇叭子句逻辑的翻译：在Anthony A. Aaby的逻辑编程中

我试图在此处重现说明以避免链接失效，但我无法弄清楚如何将列表放在引用的部分中。