A Herbrand model of a first-order language has a Herbrand universe as its universe of discourse. The interpretation of terms is canonical - terms evaluate to themselves - but there is no requirement on the interpretation of relations.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2015 Barry Watson. All rights reserved.