Logic 逻辑编程范式的主要构造

我们说：

在程序范式中，主要结构是“程序”

在OOP范式中，主要构造是“对象”

在功能范式中，主要结构是“功能” 但逻辑范式中有什么？公理？谓词

我很困惑。

来自Wikipeida

Horn子句也是逻辑编程的基础 以暗示的形式书写明确的从句的常见方式：

事实上，决议一个目标条款与一个明确的条款 产生一个新的目标从句是SLD解析推理的基础 规则，用于实现逻辑编程和编程语言 序言

编辑

因为OP试图将谓词（一阶谓词逻辑）与horn子句关联起来

参见：Anthony A.Aaby的《一阶谓词逻辑到horn子句逻辑的翻译》

---

我试图复制此处的说明以避免链接损坏，但我不知道如何在引用的部分中列出列表。

我会说逻辑子句，如事实（a为真）或规则（如果B为真，a为真）。这是一个术语问题吗？显然，它是一个形式为“…（…）：-…”的语句。它与谓词不同吗？