Факториал в Picat

Пример для версий Picat 0.1 (beta-1), Picat 0.7

Используется рекурсивное определение факториала, реализованное с помощью функции.

factorial(0) = 1.
factorial(N) = F, N > 0 => F = N * factorial(N - 1).

main =>
     foreach (I in 0 .. 16)
          writef("%w! = %w\n", I, factorial(I))
     end.

Факториал в Picat

Комментарии