Ground Expressions

Ground Expressions Ground expressions are used for representing tree-like structures at run-time. ground expressions

Syntax

GroundExpression = { GroundTerm }.
GroundTerm = Symbol | "(" GroundExpression ")".

Notation

Ground expressions are denoted by Ge, ground terms by Gt, and symbols by Gs.