TOP GUIDELINES OF DATALOG

A rule is referred to as ground if all of its atoms (head and human body) are floor. A ground rule R1 is usually a ground instance of A further rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand base of the Datalog application will be the set of all floor atoms that can be manufactured with the