Buenas estoy trabajando en un recomendador de medicinas en el que tengo una lista de medicamentos y otra con alergias, un hecho contiene(medicamento, componente) donde X medicamento contiene a Y componente y otro que es tiene_alergia(paciente, componente_alérgico) donde X es alérgico a Y componente. Lo que quiero es sacar la lista de medicamentos que no contienen ese medicamento pero no lo consigo. Ejemplo: 
Tiene_alergia(Pepe, amoxicilina).
Tiene_alergia(pepe, ampicilina).

Contiene(clamoxil, amoxicilina).
Contiene(britapen, ampicilina).

Ahora mediante findall obtengo 2 listas A = lista de alergias del paciente y L = lista de componentes de los medicamentos. 

Llamo a la regla eliminar(A, L, L2).
L2 será la lista después del filtrado.

Eliminar([],[]).
Eliminar(X, [Y|Ys], L2) :- posicion(X, [Y|Ys],Pos), borrar(Pos, [Y|Ys], L2).
Eliminar([X|Xs], [Y|Ys], L2):- eliminar(X, [Y|Ys]) ; eliminar(Xs, Ys).

Posicion(E, [E, _], 0).
Posicion(E,[_|C], P):- posición (E,C,P1), P is P1+1.

Borrar(I, L, L2) :- insertar(_,I,L2,L).
Insertar(X, 0, L2, [X|L2]).
Insertar(X, Pos, [C|R], [C|R2]) :- Pos1 is Pos -1, insertar(X, pos1, R, R2).

La cosa es que si yo llamo a eliminar([amoxicilina,ampicilina],[amoxicilina, ampicilina], L2).
 L2 = [ampicilina]; y esto es erróneo debería ser []

Habría alguna forma de corregirlo?

Gracias de ante mano.