THE BEST SIDE OF DATALOG

A rule is referred to as floor if all of its atoms (head and entire body) are ground. A ground rule R1 is often a floor occasion of A further rule R2 if R1 is the result of a substitution of constants for the many variables in R2. The Herbrand foundation of the Datalog method is the list of all floor atoms which might be built with the constants sh