Cláusula (lógica)
Origem: Wikipédia, a enciclopédia livre.
Na lógica e na programação declarativa, uma cláusula é uma disjunção de literais, e pode ser interpretada como uma declaração (condicional).
Uma sentença expressa como uma conjunção de cláusulas é dita estar na forma normal conjuntiva.