A rule is referred to as floor if all of its atoms (head and overall body) are ground. A floor rule R1 is actually a floor instance of One more rule R2 if R1 is the result of a substitution of constants for each of the variables in R2. The https://cruzlmhbu.blog5.net/78799460/detailed-notes-on-integrated-management-system