A SIMPLE KEY FOR DATALOG UNVEILED

A rule is termed ground if all of its atoms (head and physique) are floor. A floor rule R1 is often a ground occasion of Yet another rule R2 if R1 is the result of a substitution of constants for all the variables in R2. The Herbrand base of a Datalog system could be the list of all ground atoms which might be made With all the constants showing up