A rule is called ground if all of its atoms (head and system) are floor. A ground rule R1 is really a ground instance of Yet another rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand foundation of a Datalog software will be the set of all ground atoms that can be made While using the constants