TOP GUIDELINES OF DATALOG 5

A rule known as ground if all of its atoms (head and body) are ground. A floor rule R1 can be a ground instance of A different rule R2 if R1 is the result of a substitution of constants for the many variables in R2. The Herbrand foundation of the Datalog program may be the set of all floor atoms that could be created Using the constants showing in