There's no negation in SWI-Prolog's tabling. As not/one utilizes a cut, one could wind up with incomplete tables and incorrect outcomes. AleksejAleksej 22.9k66 gold badges3636 silver badges3838 bronze badges one Many thanks but my example above is simplified, I really need to use execute fast (as I am dynamically https://executive-table-price-phi18494.blogdigy.com/fascination-about-executive-managerial-table-48157845