Sailors, coconuts and a monkey problem: Difference between revisions
Content added Content deleted
Line 1,730: | Line 1,730: | ||
=={{header|Picat}}== |
=={{header|Picat}}== |
||
<lang Picat>main ?=> |
<lang Picat>main ?=> |
||
between(2,9,N), % number of sailors |
between(2,9,N), % N: number of sailors |
||
once s(N), |
once s(N), |
||
fail. |
fail. |
||
Line 1,736: | Line 1,736: | ||
s(N) => |
s(N) => |
||
next_candidate(N+1,N,C), % original number of coconuts |
next_candidate(N+1,N,C), % C: original number of coconuts |
||
divide(N,N,C,Cr), % Cr remainder |
divide(N,N,C,Cr), % Cr: remainder |
||
Cr > 0, |
Cr > 0, |
||
Cr mod N == 0, |
Cr mod N == 0, |