Estoy teniendo problemas con el siguiente predicado:
partir(Todo, Parte1, Parte2)
que se verifica si Parte1
y Parte2
son dos subsecuencias no vacías que concatenadas forman la secuencia Todo. Una posible traza sería
[a,b,c,d]
se parte como [a] [b,c,d]; [a,b] [c,d]; [a,b,c] [d].
El orden tiene que prevalecer y no puede haber una lista vacía.
Lo estoy implementando como el predicado concatena, pero no logro evitar que en las soluciones por back tracking devuelva listas vacías.
partir([],[],[]).
partir(Ys,Ys,[]).
partir([X|Xs],Ys,[X|Zs]):-partir(Xs,Ys,Zs).
!