Loop

Loop (Converts Findall/3 in Prolog to Predicates Without Findall).

Works with multiple levels, items per level and positions of non-findall/3 code of nested findalls.