while (条件式) do ...; ...; ...; end_while;
例えば、 あらかじめ 整数 が決まっているとき、 をそれ以上の最小の素数に修正するには、
while (isprime(p)<> TRUE) do p:=p+1: end_while: print (["using p=", p]);
とすればよろしい。