Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3) Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). N = 5, M = 3, X = ab, Y = cde, Z = zz, E1 = wrap(- (ab+cde*4)/6+xyz, 'Start>', (<)+ (end*3+zz*2)), E = wrap(wrap(-wrap(- (ab+cde*4)/6+xyz, 'Start>', (<)+ (end*3+zz*2)), wrap(- (ab+cde*4)/6+xyz, 'Start>', (<)+ (end*3+zz*2))* (5+1), -wrap(- (ab+ ... * ...)/6+xyz, 'Start>', (<)+ (end*3+zz*2))* (3+1)), ... * 3), R = '.........Start>edcedcxyzedcedcxyzedcedcxyzedcedcxyzedcedcxyzedcedcxyztratSzzzzdnednednetratSzzzzdnednednetratSzzzzdnednednetratSzzzzdnednednetratS.........'. % halt