Ackermann function: Difference between revisions

m
→‎{{header|Picat}}: Added out tag,
m (→‎{{header|Picat}}: Added out tag,)
Line 6,566:
time(check_larger(4,2)),
nl.
 
 
% Using a2/2 and chop off large output
Line 6,579 ⟶ 6,578:
end,
println(digits=Len).
 
 
% Plain tabled (memoized) version with guards
Line 6,597 ⟶ 6,595:
</lang>
 
{{out}}
Output:
<pre>
[m = 0,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]]
495

edits