THE FACT ABOUT INTEGRATED MANAGEMENT SYSTEM THAT NO ONE IS SUGGESTING

A rule is known as ground if all of its atoms (head and system) are floor. A ground rule R1 is a ground occasion of another rule R2 if R1 is the result of a substitution of constants for many of the variables in R2. The Herbrand foundation of the Datalog application is the set of all floor atoms which might be built While using the constants showin