HELPING THE OTHERS REALIZE THE ADVANTAGES OF DATALOG 5

A rule is named ground if all of its atoms (head and overall body) are ground. A floor rule R1 is really a floor occasion of Yet another rule R2 if R1 is the results of a substitution of constants for all the variables in R2. The Herbrand base of the Datalog method may be the set of all ground atoms that can be created with the constants showing in