Egy pozitív egész faktoriálisát számolja ki.Van hozzá specifikáció is!
[while; specification] (CLU
forrás)
Factorial=proc (x:int) returns (a:int)
requires x>=0
modifies nothing
effects a=x!
Factorial=proc(x:int) returns (int)
ans:int
ans:=1
while x>0 do
ans:=ans*x
x:=x-1
end
return (ans)
end Factorial