A rule known as ground if all of its atoms (head and human body) are floor. A ground rule R1 is really a ground instance of One more rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand foundation https://angelogowdk.blog-kids.com/34735962/helping-the-others-realize-the-advantages-of-datalog