 Ground term

A first-order term containing no variables. Constant symbols are ground terms; applying a function symbol to ground terms produces another ground term.