NOT KNOWN DETAILS ABOUT INTEGRATED MANAGEMENT SYSTEM

A rule is termed floor if all of its atoms (head and human body) are ground. A ground rule R1 is actually a ground instance of One more 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 program may be the set of all ground atoms which might be made Using the constants appea