Estoy tratando de implementar un código en Prolog que me divida una lista en dos partes. Básicamente, si es de largo par el resultado es trivial, pues las mitades son del mismo tamaño. Pero para el caso impar la parte izquierda debe contener un elemento más que el de la derecha. Se explica con el siguiente ejemplo:
?- div([1,2,3,4,5],X,Y). %Largo impar
X = [1,2,3]
Y = [4,5]
La implementación en la que pensé, viendo algunos videos y tutoriales, fue la siguiente:
div(L, A, B) :-
append(A, B, L),
length(A, N),
length(B, N).
div(L, A, B) :-
append(A, B, L),
length(A, N),
N1 is N + 1,
length(B, N1).
Sin embargo, para los casos en que la lista es de largo impar, me devuelve:
?- div([1,2,3,4,5],X,Y).
X = [1,2]
Y = [3,4,5]
No se que me puede estar faltando para organizar bien los elementos en las listas de largo impar. Espero que alguien pueda orientarme.