The Herbrand universe of a first-order language is the set of all ground terms.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2015 Barry Watson. All rights reserved.