DATALOG FOR DUMMIES

A rule known as ground if all of its atoms (head and human body) are ground. A floor rule R1 is actually a ground occasion of A further rule R2 if R1 is the results of a substitution of constants for every one of the variables in R2. The Herbrand foundation of the Datalog system may be the list of all floor atoms that could be built With all the co