There's no negation in SWI-Prolog's tabling. As not/one employs a Minimize, one particular could wind up with incomplete tables and incorrect