LITTLE KNOWN FACTS ABOUT DATALOG.

If Every atom in the body of the ground occasion is during the list of regarded info, then The top atom is extra on the set of recognized information. This process is recurring right up until a set level is reached, and no more facts may be deduced. Naïve analysis generates the complete minimum model of This system.[7]We are going to be using here