Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
factors(N,Fs) :- findall(F, factor(N,F), F0), sort(F0,Fs). factor(N,F) :- integer(N), N >= 0, L is floor(sqrt(N)), between(1,L,F1), div_rem(N,F1,F2,0), unique_factors(F1,F2,F) . div_rem(X,Y,Q,R) :- Q is X div Y, R is X mod Y . unique_factors(A,B,A) :- A \= B . unique_factors(_,B,B) .