[lake99]

Mercury[1], a derivative of Prolog does away with these cuts. So I guess that these declarative short-circuits in Prolog are just a fault that arose because some things were not thought through in the creation of Prolog.

[1] http://mercurylang.org/information/doc-release/mercury_trans...