DATALOG 5 OPTIONS

A rule is known as ground if all of its atoms (head and human body) are ground. A ground rule R1 is a floor instance of another rule R2 if R1 is the results of a substitution of constants for the many variables in R2. The Herbrand base of the Datalog system may be the set of all ground atoms that could be made Together with the constants showing up