A rule is known as ground if all of its atoms (head and system) are floor. A ground rule R1 is a ground instance of A different 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 method would be the list of all ground atoms wh