HELPING THE OTHERS REALIZE THE ADVANTAGES OF DATALOG

A rule is termed floor if all of its atoms (head and physique) are floor. A ground rule R1 can be a floor instance of A different rule R2 if R1 is the result of a substitution of constants for every one of the variables in R2. The Herbrand base of the Datalog program could be the list of all floor atoms which can be built Along with the constants s