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

- rlatml — multiplicity list of atomic formulas
- rlatnum — number of atomic formulas
- rlterml — list of terms
- rltermml — multiplicity list of terms