Core predicates (I)
{"Image DocumentName": "Core predicates (I)", "Image ImageDescription": "x(u): vale 1 se una variabile x punta ad un elemento della lista rappresentato da u. Corrisponde all\u2019arco che va da x all\u2019elemento. In assenza dell\u2019arco x(u)=0; n(u1,u2): vale 1 se u2 \u00e8 successore di u1 o detto in altro modo se la componente n di u1 punta a u2; dle(u1,u2): vale 1 se il valore d di u1 <= valore d di u2.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}