條款（邏輯）

在邏輯學中，條款是由有限的字元（原子或其否定）和邏輯連接詞組成的命題公式。只要構成該句子的至少一個字元為真，該句子就是真的（二元句，該術語的最常見用法），或者構成該句子的所有字元都是真的（連詞句，該術語的較少使用）。句子通常被寫成如下形式，其中的符號是空句子一個句子可以是空的（由空的字詞集定義）。

每一個非空子句在邏輯上等同于一個頭與體的暗示，其中頭是子句的一個任意字詞，體是其他字詞的否定的結合。

也就是說，如果一個真值賦值導致一個子句為真，而子句的所有字詞都不滿足該子句，那么頭部也必須為真。這種等價關系常用于邏輯編程中，條款通常被寫成這種形式的暗示。

更普遍的情況是，頭部可以是一個字詞的二擇一。如果如果n=1，m=0，該條款被稱為（Prolog）事實。如果n=1，m>0，該條款被稱為（Prolog）規則。如果n=0，m>0，該條款被稱為（Prolog）查詢。如果n>1，該條款不再是Horn。