NOT KNOWN DETAILS ABOUT DATALOG

A rule is called ground if all of its atoms (head and system) are floor. A floor rule R1 is really a floor instance of A different rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand foundation of the Datalog system is definitely the list of all floor atoms that may be built Using the constants