直到型结构的三要素为循环体、循环变量、循环终止条件。一个完整的直到型循环结构这三要素缺一不可，并且
直到型结构（UNTIL）格式如下 ：
Do
<循环体语句组>
Loop until <循环终止条件>
先执行循环体语句组，执行到Loop语句时测试循环终止条件，当循环条件为False 时继续执行循环体语句组，直至循环终止条件改变为True时终止循环。
流程图如下：
UNTIL循环是先执行循环体，然后判断条件是否成立，如果条件不成立，返回DO语句处重新执行循环体，若条件成立，则退出循环。直到型循环结构的程序运行时，循环体至少被执行一次。
