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.
|