A rule known as floor if all of its atoms (head and body) are ground. A floor rule R1 is usually 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 the Datalog application could be the list of all ground atoms that can be made Using the constants appearing