NEW STEP BY STEP MAP FOR DATALOG 5

A rule is called floor if all of its atoms (head and human body) are floor. A floor rule R1 is a floor instance of A different rule R2 if R1 is the results of a substitution of constants for all the variables in R2. The Herbrand foundation of the Datalog system will be the set of all floor atoms that can be produced With all the constants showing u