If Every atom in the body of the ground instance is inside the list of known points, then the head atom is extra towards the list of recognized details. This method is recurring until eventually a hard and fast place is arrived at, and no more information could possibly be deduced. Naïve analysis makes your complete minimal model of This system.[s