The Prolog to Mercury transition guide
The Mercury compiler was originally bootstrapped using
NU-Prolog and SICStus Prolog. We needed to use cuts for
efficiency in a few places. Of course, now that we compile
the Mercury compiler with itself the cuts are not needed
--- and it runs much faster anyway.