DATALOG OPTIONS

A rule is named ground if all of its atoms (head and physique) are floor. A floor rule R1 can be 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 is the set of all floor atoms that could be made Together with the constants showing i