loom

1
// Бесконечно простой алгоритм определения простых чисел
2

3
pure check_prime(int no)
4
->   bool
5
     pre(no > 0)    // Использование параметров в предусловии
6
{
7
    int limit = no / 2 + 1;
8

9
    for(int i=2; i < limit; ++i)
10
        if (no % i == 0)
11
            return false;
12

13
    return true;
14
}
15

16
int start = 10000;
17
int limit = 10500;
18

19
func go()
20
     pre(start > 0, limit > start)  // Использование нескольких выражений в одном предусловии
21
{
22
    sys.print("Простые числа в интервале от " + start + " до " + limit + ":");
23

24
    for(int i=start; i <= limit; i++)
25
        if (check_prime(i))
26
            sys.print(i);
27
}
28