There isn't any negation in SWI-Prolog's tabling. As not/1 makes use of a Reduce, one particular could find yourself with incomplete tables and incorrect outcomes. Room House: The amount of Area have you acquired to setup a dining table set? Measure and choose correctly. 6 seaters are more prevalent, https://codywwtxv.angelinsblog.com/31535193/executive-summary-and-table-of-contents-which-comes-first-no-further-a-mystery