Langage fonctionnel
Les clauses

La programmation par clauses (cf. Prolog) permet
de distinguer facilement les alternatives
de ne pas rajouter de niveau d'imbrication

-module (fact).
-export ([fact/1]).

fact (0) -> 1;
fact (N) -> N * fact (N-1).

-module (fact).
-export ([fact/1]).

fact ({0, A}) -> A;
fact ({N, A}) -> fact ({N-1, A*N});
fact (N)      -> fact ({N, 1}).