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.