A rule known as ground if all of its atoms (head and physique) are floor. A floor rule R1 is often a floor instance of A further rule R2 if R1 is the results of a substitution of constants for each of the variables in R2. The Herbrand base of https://riverjtahp.webdesign96.com/34567333/about-integrated-management-system