Notion de coupure (5) Repeat et fail :
{"Image DocumentName": "Notion de coupure (5) Repeat et fail :", "Image ImageDescription": "Le pr\u00e9dicat fail/0 est un pr\u00e9dicat qui n\u2019est jamais d\u00e9montrable, il provoque donc un \u00e9chec de la d\u00e9monstration o\u00f9 il figure. Le pr\u00e9dicat repeat/0 est une pr\u00e9dicat pr\u00e9d\u00e9fini qui est toujours d\u00e9montrable mais laisse syst\u00e9matiquement un point de choix derri\u00e8re lui. Il a une infinit\u00e9 de solutions. L\u2019utilisation conjointe de repeat/0, fail/0 et du coupe-choix permet de r\u00e9aliser des boucles. 26 mars 2001.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}