Wprowadzenie do języka programowania nie liczy się, jeśli nie obejmuje silni (albo największego wspólnego dzielnika). Pora więc na nią
» Najpierw definicja funkcyjna 0! = 1
n! = n • (n — 1)! dla n > 0.
9 którą przekształcimy na relację factorial facto rial(0,1)
(Vn)(W)n > 0 A factorial(n - 1, f) =t> factorial(n, n ■ f)
Zbigniew JurMewicz, Instytut Informatyki UW Programowanie w logice Wykłsd Z bćlZ dSfiyCh dlć