NOT KNOWN FACTS ABOUT INTEGRATED MANAGEMENT SYSTEM

A rule known as ground if all of its atoms (head and physique) are floor. A ground rule R1 is really a floor occasion of One more rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand base of a Datalog application may be the list of all floor atoms that could be produced Together with the constants