There's no negation in SWI-Prolog's tabling. As not/1 makes use of a Slash, a single may finish up with incomplete tables and incorrect benefits. AleksejAleksej 22.9k66 gold badges3636 silver badges3838 bronze badges one Thanks but my example over is simplified, I really need to use execute immediate (as I https://tableexecutiveclub35678.blogitright.com/32364764/a-simple-key-for-executive-conference-table-unveiled