Переплыть через реку

male(a).
male(b).
male(c).
male(d).
female(fa).
female(fb).
female(fc).
female(fd).
 
% генерация подсписков заданной длины
sublist(_, _, _, Len):- Len =< 0, !, fail.
sublist([], L, L, _).
sublist([H|_], L, [H|L], _).
sublist([H|T], L, [H|R], Len):-
  NewLen is Len - 1, sublist(T, L, R, NewLen).
sublist([_|T], L, R, Len):-
  sublist(T, L, R, Len).
 
% вычитание списков
dif([], _, []):-!.
dif([H|T], B, [H|TR]):-
  not(member(H, B)), !, dif(T, B, TR).
dif([_|T], B, TR):-
  dif(T, B, TR).
 
% длина списка
length([],0).
length([_|T],L):- length(T,TL), L=TL+1.
 
%подсчет количества мужчин и женщин
kolvoM([],0).
kolvoM([X|T],L):- kolvoM(T,TL), (male(X), L=TL+1;L=TL,!).
 
kolvoF([],0).
kolvoF([X|T],L):- kolvoF(T,TL), (female(X), L=TL+1;L=TL,!).
 
%проверка условия 
check(L):- kolvoM(L,M), kolvoF(L,F),!, (F=\=1;M=0). 
 
checkBoat([]):-!. 
 
%перегонка лодки с одного берега на другой
proliferate((Left, Boat, Right, left), (Left_1, Boat_1, Right, right)):-
  length(Boat, LenBoat), LenLeftPart is 2 - LenBoat,
  sublist(Left, [], LeftPart, LenLeftPart),
 
  dif(Left, LeftPart, Left_1),
  append(Boat, LeftPart, Boat_1),
 
  check(Left_1), check(Right), checkBoat(Boat_1).
 
proliferate((Left, Boat, Right, right), (Left, Boat_1, Right_1, left)):-
  length(Boat, LenBoat),
  sublist(Boat, [], BoatPart, LenBoat),
 
  dif(Boat, BoatPart, Boat_1),
  append(Right, BoatPart, Right_1),
 
  check(Right_1), check(Left),  checkBoat(Boat_1).
 
 
dfs(([], [], L, Dir), _, [([], [], L, Dir)]):-!.
 
 
dfs((A1,A2,A3,A4), VN, [(A1,A2,A3,A4)|TR]):-
  proliferate((A1,A2,A3,A4), (X1,X2,X3,X4)),
  not(member((X1,X2,X3,X4), VN)),
  dfs((X1,X2,X3,X4), [(A1,A2,A3,A4)|VN], TR).
 
?- dfs( ([a,b,c,d,fa,fb,fc,fd], [], [], left), [], Path),nl, write(Path).