A rule is termed floor if all of its atoms (head and physique) are ground. A floor rule R1 can be a floor instance of One more rule R2 if R1 is the result of a substitution of constants for many of the variables in R2. The Herbrand foundation of the Datalog program is the list of all ground atoms that may be designed with the constants showing up i