条款（逻辑）

在逻辑学中，条款是由有限的字元（原子或其否定）和逻辑连接词组成的命题公式。只要构成该句子的至少一个字元为真，该句子就是真的（二元句，该术语的最常见用法），或者构成该句子的所有字元都是真的（连词句，该术语的较少使用）。句子通常被写成如下形式，其中的符号是空句子一个句子可以是空的（由空的字词集定义）。

每一个非空子句在逻辑上等同于一个头与体的暗示，其中头是子句的一个任意字词，体是其他字词的否定的结合。

也就是说，如果一个真值赋值导致一个子句为真，而子句的所有字词都不满足该子句，那么头部也必须为真。这种等价关系常用于逻辑编程中，条款通常被写成这种形式的暗示。

更普遍的情况是，头部可以是一个字词的二择一。如果如果n=1，m=0，该条款被称为（Prolog）事实。如果n=1，m>0，该条款被称为（Prolog）规则。如果n=0，m>0，该条款被称为（Prolog）查询。如果n>1，该条款不再是Horn。