loom
1// Бесконечно простой алгоритм определения простых чисел
2
3pure check_prime(int no)
4-> bool
5pre(no > 0) // Использование параметров в предусловии
6{
7int limit = no / 2 + 1;
8
9for(int i=2; i < limit; ++i)
10if (no % i == 0)
11return false;
12
13return true;
14}
15
16int start = 10000;
17int limit = 10500;
18
19func go()
20pre(start > 0, limit > start) // Использование нескольких выражений в одном предусловии
21{
22sys.print("Простые числа в интервале от " + start + " до " + limit + ":");
23
24for(int i=start; i <= limit; i++)
25if (check_prime(i))
26sys.print(i);
27}
28