TraceExpressions_Annotation In order to use this repository: $ swipl -s trace_exps_common.pl [iterators|printwriter|turnstile|test|calculator].pl ?- test(testN, Length, Traces). Substitute Length and N with numbers.