#3: dif/2, findall/3: unexpected overflow about trealla HOT 3 CLOSED

True.

Processing a finite list of 5994 elements(which are lists with 3 elements).

At the moment I get:

$ tpl
findall/3 Time elapsed 12s

$ tpl
bagof/3 error(resource_error(finite_memory),top_level/0).

But I guess this is an interim stage of tpl development.

from trealla.

"The resource finite_memory is here to indicate that any finite memory would not be enough"
Commenting 'any': This is not true. A creative mathematician discovers (and solves) some of these problems.

from trealla.

Any finite memory certainly means any finite memory of this processor.

from trealla.