There is not any negation in SWI-Prolog's tabling. As not/one works by using a Reduce, one may well turn out with incomplete tables and incorrect results. The people who are working during the accounts and finance department, liable for generating the payments, demand to know the TDS rate