#include "pl_base.plp" Y1<=0; l1 : MULT(Y1,Y1,Y2); GT(Y2,X1,Y3); TRUTH(Y3); loop Y3; goto l2; endloop; Y1++; goto l1; l2: EQUAL(Y2,X1,Y4); TRUTH(Y4); loop Y4; goto l3; endloop; DEC(Y1); l3: ASSIGN(Y1,Z1);