A rule is called floor if all of its atoms (head and system) are floor. A ground rule R1 is really a floor occasion of An additional rule R2 if R1 is the results of a substitution of constants for all the variables in R2. The Herbrand foundation of the https://integratedmanagementsyste11987.blog-eye.com/34216178/not-known-details-about-integrated-management-system