Intento separar 2 listas desde una primera dependiendo de una variable pivote. Pero por alguna razón entra en un bucle infinito del que no sale.
dividir(A,[],Lmen,Lmay). %caso de parada lista original vacia
dividir(A,[L|R],Lmen,Lmay):- %comprobaciones mayor menor separadas por un OR
(L =< A,(append(Lmay,L,Lmay2),dividir(A,R,Lmen,Lmay2)));
(L > A,(append(Lmen,L,Lmen2),dividir(A,R,Lmen2,Lmay))).
Por alguna razón no soy capaz de ver donde falla. Una ayuda se agradeceria.