A rule is known as ground if all of its atoms (head and human body) are floor. A floor rule R1 is really a ground occasion of A further rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand https://eduardonvpgx.blog2learn.com/81568473/detailed-notes-on-integrated-management-system