NEW STEP BY STEP MAP FOR DATALOG 5

A rule is named ground if all of its atoms (head and human body) are floor. A ground rule R1 is often a floor instance of A further rule R2 if R1 is the result of a substitution of constants for many of the variables in R2. The Herbrand base of the Datalog application would be the set of all floor atoms that may be built Together with the constants