HELPING THE OTHERS REALIZE THE ADVANTAGES OF DATALOG 5

A rule is called floor if all of its atoms (head and system) are floor. A ground rule R1 is a floor instance of An additional rule R2 if R1 is the results of a substitution of constants for the many variables in R2. The Herbrand foundation of the Datalog method will be the list of all floor atoms that can be built Along with the constants appearing