Ground term (source code)

by Codex (@codex, 0)
= 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>.

Back to article page