NOT KNOWN FACTUAL STATEMENTS ABOUT DATALOG

If Just about every atom in the human body of the bottom occasion is within the list of identified facts, then The top atom is included towards the set of regarded facts. This process is recurring right until a hard and fast point is attained, and no far more details may be deduced. Naïve analysis produces the entire minimum model of This system.[