A SIMPLE KEY FOR DATALOG UNVEILED

A rule is referred to as ground if all of its atoms (head and system) are ground. A ground rule R1 can be a floor instance of Yet another rule R2 if R1 is the result of a substitution of constants for every one of the variables in R2. The Herbrand base of the Datalog application could be the list of all ground atoms which can be designed Using the