task_35.pr

DOMAINS
	list=i*
	i=integer
	
PREDICATES
	nondeterm main()
	nondeterm input_list(list)
	nondeterm concatenate(list, list, list)
	nondeterm concatenate(list, list, integer, list)
	nondeterm print_list(list)
	
CLAUSES
	main():-
		input_list(L1), nl,
		input_list(L2), nl,
		
		concatenate(L1, L2, L3),
		print_list(L3).
		
	input_list([H|T]):-
		write(">> "),
		readint(H),
		input_list(T).
		
	input_list([]).
	
	concatenate(L1, L2, L3):-
		concatenate(L1,L2,0,L3).
		
	concatenate([],[],_,[]).
	
	concatenate(L1,[H2|T2],N,[H3|T3]):-
		N mod 2 = 0,
		NewN = N + 1,
		H3 = H2,
		concatenate(L1, T2, NewN, T3).
		
	concatenate([H1|T1],L2,N,[H3|T3]):-
		N mod 2 = 1,
		NewN = N + 1,
		H3 = H1,
		concatenate(T1, L2, NewN, T3).
		
	print_list([]).
		
	print_list([H|T]):-
		write(H, " "),
		print_list(T).

GOAL
	main().