NOT KNOWN FACTUAL STATEMENTS ABOUT DATALOG

A rule is known as floor if all of its atoms (head and human body) are ground. A ground rule R1 is a ground occasion of An additional rule R2 if R1 is the results of a substitution of constants for all of the variables in R2. The Herbrand base of the Datalog program is definitely the set of all ground atoms which can be manufactured with the consta