There isn't a negation in SWI-Prolog's tabling. As not/one works by using a Lower, a single could find yourself with incomplete tables and incorrect results. AleksejAleksej 22.9k66 gold badges3636 silver badges3838 bronze badges one Thanks but my example previously mentioned is simplified, I have to use execute immediate (as https://executivetableprice24578.prublogger.com/31522929/top-guidelines-of-table-esg