If each atom in the body of the bottom instance is inside the list of recognized points, then The pinnacle atom is extra to the list of known facts. This method is recurring till a hard and fast stage is attained, and no more specifics could possibly be deduced. Naïve analysis produces the complete minimum design of the program.[7]A management sys