integrated management system - An Overview
A rule is named floor if all of its atoms (head and system) are floor. A floor rule R1 can be a ground occasion of another 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 list of all floor atoms which might be designed Using the constants appearing