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).
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).