%  correct(ketabha,ketab).



%     correct(ketabha,L).
%     correct(hamintor,L).




%hamin
correct(String,S2) :-
    name(String, CodeList),    
    maplist(number_to_character, CodeList, Characters ), 
	   	append([h,a,m,i,n],S,Characters), 
		append([h,a,m,i,n,' '],S,S1),    
		atomic_list_concat(S1,S2),
		open("hogwarts.txt",append,OS),
 	        write(OS,S2),
tab(OS,7),nl(OS),
 	        close(OS).


%ha 
correct(String,S2) :-
    name(String, CodeList),    
    maplist(number_to_character, CodeList, Characters ), 
	   	append(S,[h,a],Characters), 
		append(S,[' ',h,a],S1),    
		atomic_list_concat(S1,S2),
		open("hogwarts.txt",append,OS),
 	        write(OS,S2),
tab(OS,7),nl(OS),
 	        close(OS).




		
number_to_character(Number, Character) :-  
    name(Character, [Number]).