If Every atom in the body of the bottom instance is inside the set of recognized information, then The top atom is extra into the list of known specifics. This method is recurring until finally a fixed position is achieved, and no much more specifics can be deduced. Naïve analysis https://datalog522109.mdkblog.com/39675305/the-5-second-trick-for-datalog-5