In logic and declarative programming, a clause is a disjunction of literals and can be interpreted as a (conditional) statement. Logic, from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, (but coming to mean thought or reason) is most often said to be the study of criteria for the evaluation of arguments, although the exact definition of logic is a matter of controversy among philosophers. ... Declarative programming is a term with two distinct meanings, both of which are in current use. ... Look up Literal in Wiktionary, the free dictionary Literal can mean: Literal and figurative language, taken in a non-figurative sense Literal translation, the close adherence to the forms of a source language text Terminal symbol in regular expressions and in descriptions of formal grammars any notation for representing a...