THE 2-MINUTE RULE FOR DATALOG

If Each and every atom in the body of the ground instance is during the set of known points, then the head atom is added into the set of recognised points. This process is repeated right until a hard and fast point is achieved, and no a lot more info could possibly be deduced. Naïve evaluation makes your entire small model of This system.[seven]Th