AN UNBIASED VIEW OF DATALOG

A rule is referred to as floor if all of its atoms (head and entire body) are floor. A ground rule R1 is really a floor occasion of Yet another rule R2 if R1 is the results of a substitution of constants for all the variables in R2. The Herbrand foundation of the Datalog program is the set of all ground atoms which can be built Together with the co