DATALOG FOR DUMMIES

A rule known as ground if all of its atoms (head and overall body) are ground. A ground rule R1 is actually a ground instance of An additional rule R2 if R1 is the results of a substitution of constants for each of the variables in R2. The Herbrand base of the Datalog program could be the set of all ground atoms that can be designed With all the co