0 following the exact meaning with no exaggeration -- věrný, čistý
the literal truth.
1 understanding the meaning by taking one word at a time -- doslovný
a literal translation.
One of the main reasons is that, for each predicate mode declaration, the compiler is required to appropriately re-order literals in the predicate's definition.
The first four rules define literals and contrary literals.
Nevertheless, for the cases in which there are no conflicting literals in the first of the programs, the operators in question would be equivalent.
The body of rules is composed of negative literals only.
Elementary formulas are literals and the 0-place connectives ("false") and ("true").
Their bodies usually contain special fluent literals of the form ab(c).
Defining tightness relative to a set of literals extends the applicability of this method to some programs that are not absolutely tight.
Elementary formulas are literals and the symbols ("false") and ("true").