testBigListGeneration
Tests the query
?- biglist(N, L).Content copied to clipboard
against a theory recursively defining biglist(N, [N|Rest]) down to biglist(0, [0]), with N bound to BigListOptions.SIZE; succeeds producing 1 solution which binds L to the list [N, N-1, ..., 1, 0], followed by a no (no further solutions on backtracking).