Missing solutions when cut appears inside a tabled predicate
Goal: determine whether the cut operator (!/0) should affect already‑tabled answers when evaluating a tabled predicate that contains a cut in one of its clauses. Uncertainty: XSB treats the cut as a local commitment that does not invalidate existing table entries, whereas Yap and SWI‑Prolog (with library(tabling)) may propagate the cut to prune the table, le
prolog