如何用cut来解释这个Prolog目标

如何用cut来解释这个Prolog目标