DATALOG 5 OPTIONS

A rule is referred to as ground if all of its atoms (head and system) are ground. A floor rule R1 is really a floor occasion of One more 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 will be the set of all ground atoms that can be built Together with t