Redlog Documentation Center

This new documentation in under construction. For functions not covered yet, please use the old documentation.

documentationgenericrlatml

rlatml – multiplicity list of atomic formulas

Calling Sequence

rlatml \((\,\varphi\,)\)

Arguments

\(\varphi\) first-order formula

Returns

\(\{\dots,\ \{\alpha,\ n\},\ \dots\}\) \(\{\dots,\ \{\)atomic formula, integer\(\},\ \dots\}\)

Description

Return the atomic formulas occurring in \(\varphi\) as a multiplicity list. In the output, each \(\alpha\) is an atomic formula occurring in \(\varphi\), and the respective \(n\) is the number of its occurrences.

For obtaining the set of atomic formulas occurring in \(\varphi\) without any counting use rlatl.

Occurrences of the truth values true and false are not listed, because Redlog considers those to be not atomic formulas but logical constants.

Examples

rlatml(a = 0 or (b = 0 and b = 0));
rlatml(a = 0 and true);

See Also