Para insertar en la mitad de una lista podes recorrer la lista a dos "velocidades": una avanzando de a un elemento y la otra avanzando de a dos elementos a la vez.
De esta manera cuando llegues al final de la segunda lista la primera va a estar en la mitad. En ese momento podes agregar el elemento que quieras en el medio junto con la otra mitad de la lista.
insertar_mitad(L, E, R):-
insertar_mitad(L, L, E, R).
insertar_mitad([], L, E, [E|L]).
insertar_mitad([_], L, E, [E|L]).
insertar_mitad([_, _|L], [Item|L2], E, [Item|R]):-
insertar_mitad(L, L2, E, R).
La segunda cláusula de insertar_mitad/4 cubre el caso de listas de cantidad impar. Si se quita el procedimiento solamente sucederá para lista de cantidad par de elementos.
Casos de prueba:
?- insertar_mitad([a,b,c,d,e,f],x,R).
R = [a, b, c, x, d, e, f].
?- insertar_mitad([a,b,c,d,e,f,g],x,R).
R = [a, b, c, x, d, e, f, g] ;
false.
Para evitar dejar alternativas se puede agregar otro procedimiento auxiliar para ayudar al indexado:
insertar_mitad(L, E, R):-
insertar_mitad(L, L, E, R).
insertar_mitad([], L, E, [E|L]).
insertar_mitad([_|L], L2, E, R):-
insertar_mitad1(L, L2, E, R).
insertar_mitad1([], L, E, [E|L]).
insertar_mitad1([_|L], [Item|L2], E, [Item|R]):-
insertar_mitad(L, L2, E, R).
En el que ahora vemos que el segundo ejemplo no deja alternativas:
?- insertar_mitad([a,b,c,d,e,f],x,R).
R = [a, b, c, x, d, e, f].
?- insertar_mitad([a,b,c,d,e,f,g],x,R).
R = [a, b, c, x, d, e, f, g].