?- partition(3,Z,[1,2,3],[4,5]).
Z = [1, 2, 3, 4, 5] ;
Z = [1, 2, 4, 3, 5] ;
Z = [1, 2, 4, 5, 3] ;
Z = [1, 4, 2, 3, 5] ;
Z = [1, 4, 2, 5, 3] ;
Z = [1, 4, 5, 2, 3] ;
Z = [4, 1, 2, 3, 5] ;
Z = [4, 1, 2, 5, 3] ;
Z = [4, 1, 5, 2, 3] ;
Z = [4, 5, 1, 2, 3] ;
false.