DATALOG FUNDAMENTALS EXPLAINED

A rule known as ground if all of its atoms (head and entire body) are ground. A floor rule R1 is really a ground instance of A further rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand foundation of the Datalog application may be the set of all floor atoms which can be built Together with the