NOT KNOWN FACTUAL STATEMENTS ABOUT DATALOG

A rule is called ground if all of its atoms (head and body) are floor. A floor rule R1 is a ground occasion of One more rule R2 if R1 is the results of a substitution of constants for all the variables in R2. The Herbrand foundation of the Datalog software will be the set of all floor atoms that may be made Using the constants showing up in This sy