Факториал в Picat

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

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

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

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

Факториал в Picat

Комментарии