If Every atom in the body of the ground instance is during the list of recognized points, then the head atom is additional towards the set of known details. This method is recurring right up until a hard and fast position is reached, and no additional specifics could be deduced. Naïve evaluation creates all the minimal product of the program.[seve