A rule is named ground if all of its atoms (head and entire body) are floor. A ground rule R1 is often a floor occasion of A further rule R2 if R1 is the result of a substitution of constants for all of the variables in R2. The Herbrand foundation https://louisxwsmd.angelinsblog.com/33624955/the-definitive-guide-to-datalog