5 SIMPLE TECHNIQUES FOR DATALOG

A rule is called floor if all of its atoms (head and system) are floor. A ground rule R1 is usually a floor instance of An additional rule R2 if R1 is the result of a substitution of constants for many of the variables in R2. The Herbrand foundation of the Datalog application will be the list of all ground atoms that could be produced Using the con