A rule known as floor if all of its atoms (head and physique) are ground. A floor rule R1 is a ground instance of A further rule R2 if R1 is the results of a substitution of constants for the many variables in R2. The Herbrand foundation of the Datalog application will be the list of all floor atoms that may be produced Together with the constants