Factors of a Mersenne number: Difference between revisions
→{{header|Prolog}}
Line 2,226:
prime(P),
once((
between(1,
Q is 2*K*P + 1,
test_factor(Q, P, F))).
Line 2,265:
X = 13007.
?- mersenne_factor(
false.
</pre>
| |||