trim(S,ResS):-atom_concat(S2,' ',S),!,trim(S2,ResS).

trim(S,S).




test(X):-X>0,trim('abc',_),Y is X//2,(test(Y);(Y2 is X-Y-1,test(Y2))).
testall:-test(10000000).