| Class | Description |
|---|---|
| HerbrandBase |
The Herbrand base is the set of all possible ground atoms of some
given first-order logic.
|
| HerbrandInterpretation |
A Herbrand interpretation is an interpretation for a first-order signature,
stating all ground atoms that are true in the interpretation.
|