INTEGRATED MANAGEMENT SYSTEM - AN OVERVIEW

A rule is named floor if all of its atoms (head and body) are floor. A floor rule R1 is a ground instance of another rule R2 if R1 is the results of a substitution of constants for each of the variables in R2. The Herbrand foundation of a Datalog system will be the set of all floor atoms which can be built With all the constants showing up in This