Une tranche d'échec est un fragment d'un programme de prologue obtenu en insérant un ou plusieurs objectifs de faux «faux» quelque part. Les tranches d'échec aident à localiser des raisons pour les erreurs universelles de non-résilité et d'instanciation d'un programme PURE monotonic Prolog. Ils aident également à donner une limite inférieure au nombre d'inférences nécessaires. C'est une technique de tranchant de programme concrète.
