A rule is called ground if all of its atoms (head and human body) are ground. A floor rule R1 is usually a ground instance of An additional rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand base of the Datalog software is definitely the set of all floor atoms which can be created With all the