ABOUT INTEGRATED MANAGEMENT SYSTEM

A rule is named floor if all of its atoms (head and body) are ground. A ground rule R1 is often a floor occasion of another rule R2 if R1 is the results of a substitution of constants for the many variables in R2. The Herbrand base of a Datalog method may be the list of all floor atoms which might be built Using the constants showing in This system