THE FACT ABOUT DATALOG THAT NO ONE IS SUGGESTING

A rule is known as floor if all of its atoms (head and body) are ground. A ground rule R1 is a ground instance of Yet another rule R2 if R1 is the result of a substitution of constants for all of the variables in R2. The Herbrand base of the Datalog system would be the set of all floor atoms which can be made With all the constants showing in the p