A rule is referred to as ground if all of its atoms (head and overall body) are ground. A ground rule R1 is usually a ground instance of another rule R2 if R1 is the result of a substitution of constants for the many variables in R2. The Herbrand foundation https://datalog21087.spintheblog.com/34271071/little-known-facts-about-datalog-5