An Unbiased View of integrated management system
A rule known as ground if all of its atoms (head and human body) are ground. A floor rule R1 is a ground instance of Yet another 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 application is the set of all ground atoms that may be built with the constants appearing in Th