Machine Prolog (1) -état final = (W, [ ], Rf) Rf satisfaisable.
{"Image DocumentName": "Machine Prolog (1) -\u00e9tat final = (W, [ ], Rf) Rf satisfaisable.", "Image ImageDescription": "R\u00e9sultat: Syst\u00e8me d\u2019\u00e9quation le plus petit extrait de Rf portant sur les variables de W. -r\u00e8gle d\u2019inf\u00e9rence: (W, [B0, B1, \u2026, Bm], R), P0 :\u2013 P1, \u2026, Pn (W, [ P1, \u2026, Pn, B1, \u2026, Bm], {B0 = P0} \uf0c8 R) R et {B0 = P0} \uf0c8 R doivent \u00eatre statisfaisables.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}