Redlog Documentation

documentationgenericrlatl
rlatl – list of atomic formulas

Calling Sequence

rlatl \((\,\varphi\,)\)

Arguments

\(\varphi\) first-order formula

Returns

\(L\) list of atomic formulas

Description

Return the set of atomic formulas occurring in \(\varphi\) as a list. Atomic formulas with multiple occurrences in \(\varphi\) are listed only once.

For additional information on multiplicities of occurrences use rlatml.

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

Examples

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

See Also