DATALOG 5 OPTIONS

A rule is known as floor if all of its atoms (head and overall body) are floor. A floor rule R1 is a floor occasion of A different rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand foundation of the Datalog application will be the set of all floor atoms which can be built Along with the constan