testInfiniteFindAll
Tests the query
?- findall(N, nat(N), L).Content copied to clipboard
against a theory recursively defining the (infinite) natural numbers nat(z). nat(s(Z)) :- nat(Z)., solved with shortDuration as the max duration: since findall/3 must exhaust every solution of its generator before returning, and the generator never terminates, the sole result is a Solution.Halt wrapping a it.unibo.tuprolog.solve.exception.TimeOutException for shortDuration.