Agreed, but cuts are confusing even considering the paradigm, though. Especially considering the paradigm, actually! They are necessary in practice, though. Bu

Agreed, but cuts are confusing even considering the paradigm, though. Especially considering the paradigm, actually! They are necessary in practice, though. But boy do a cut here and there makes it harder for catching up to some Prolog codebase.