A rule is named floor if all of its atoms (head and system) are ground. A ground rule R1 is often a floor occasion of An additional rule R2 if R1 is the result of a substitution of constants for every one of the variables in R2. The Herbrand base of the Datalog application is definitely the set of all ground atoms that may be created Using the cons