Lah numbers: Difference between revisions

Content deleted Content added
m Improved C++ output
m Use aggregate_all instead of findall/max_list to find maximum value
Line 869: Line 869:
print_unsigned_lah_numbers.
print_unsigned_lah_numbers.


max_unsigned_lah_number(N, M):-
max_unsigned_lah_number(N, Max):-
findall(L, (between(1, N, K), unsigned_lah_number(N, K, L)), List),
aggregate_all(max(L), (between(1, N, K), unsigned_lah_number(N, K, L)), Max).
max_list(List, M).


main:-
main:-