%% faktoriela(N,M) velja, če je M enak zmnožku 1·2·3 ⋯ N.
faktoriela(0, 1).
faktoriela(N, F) :-
    N > 0,
    M is N - 1,
    faktoriela(M, G),
    F is N * G.

use_module(library(clpfd)).