|\(L\)||—||list of atomic formulas|
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
not listed, because Redlog considers those to be not atomic formulas but
rlatl(a = 0 or (b = 0 and b = 0));
rlatl(a = 0 and true);
- rlatml — multiplicity list of atomic formulas
- rlatnum — number of atomic formulas
- rlterml — list of terms
- rltermml — multiplicity list of terms