2 ms·
It's not pedantic at all. Interpreting terms as "themselves" and term ordering is core to Herbrand interpretation and unification, as you know very well.
by tannhaeuser 1y ago
It's not pedantic at all. Interpreting terms as "themselves" and term ordering is core to Herbrand interpretation and unification, as you know very well.
- YeGoblynQueenne 1y agoYes but not everyone is up for a logic programming lecture on a Sunday :)