A rule is referred to as ground if all of its atoms (head and body) are floor. A floor rule R1 is often a ground occasion of another rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand base https://datalog-559269.arwebo.com/56458771/helping-the-others-realize-the-advantages-of-datalog-5