% A '\=' A :-!,fail.
% _ '\=' _.













r_cputime(X) :- statistics(runtime,[X1,_]),X is X1/1000.









append([],X,X).
append([H|X],Y,[H|Z]) :- append(X,Y,Z).