A rule is known as ground if all of its atoms (head and system) are floor. A ground rule R1 is a floor instance of Yet another rule R2 if R1 is the result of a substitution of constants for every one of the variables in R2. The Herbrand base https://datalog26047.blog4youth.com/35149147/the-definitive-guide-to-datalog