A rule is named floor if all of its atoms (head and entire body) are floor. A ground rule R1 is really a floor instance of A different rule R2 if R1 is the result of a substitution of constants for many of the variables in R2. The Herbrand foundation https://datalog-590998.review-blogger.com/55628575/getting-my-integrated-management-system-to-work