If Just about every atom in the body of the ground instance is inside the list of identified information, then the head atom is added towards the set of recognised info. This process is recurring until finally a set point is attained, and no much more facts might be deduced. https://datalog26936.blogproducer.com/41109088/datalog-5-options