THE INTEGRATED MANAGEMENT SYSTEM DIARIES

A rule is named ground if all of its atoms (head and entire body) are floor. A ground rule R1 is a floor instance of A further 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 method will be the set of all ground atoms that may be built with the constants appearing in