あー、UNTILは「条件式」だけ書けるので、「THEN END」は書けませんよ。 あくまで、REPEAT～UNTILは、UNTIL 条件式が成立する間、ループから抜けないための、WHILEの逆さま版です。なので、条件判定は処理後に行われます。