The best Side of datalog
If each atom in your body of the bottom instance is while in the list of recognized details, then The pinnacle atom is extra on the list of identified specifics. This method is recurring until eventually a set point is achieved, and no more points could possibly be deduced. Naïve evaluation mak