A rule is referred to as ground if all of its atoms (head and physique) are floor. A ground rule R1 is a ground occasion of A different rule R2 if R1 is the results of a substitution of constants for the many variables in R2. The Herbrand base of https://datalog11087.blogolize.com/little-known-facts-about-datalog-5-73502002