Definition
Herbrand Structure (First-Order Logic)
A Herbrand structure is a structure
where the domain is the Herbrand universe and each ground term is interpreted as itself: A Herbrand structure is fully determined by which ground atoms it makes true.