If Every atom in the human body of the ground instance is while in the set of identified points, then The pinnacle atom is extra for the set of regarded details. This process is recurring until finally a fixed level is reached, and no more facts could be deduced. Naïve analysis generates the complete negligible design of the program.[7]Datalog is