NEW STEP BY STEP MAP FOR DATALOG 5

A rule is named floor if all of its atoms (head and entire body) are ground. A floor rule R1 is usually a ground instance of An additional rule R2 if R1 is the result of a substitution of constants for each of the variables in R2. The Herbrand base of the Datalog application is the set of all ground atoms that may be designed With all the constants