Prolog wyjaśnienie selecta

Question

Witam, mam takiego selecta czy mógł by mi ktoś wyjaśnić w jaki sposób prolog selectuje
 

sel(X1,X2,X3,X4):-
    L=[0,1,2,3],
    U=[0,1],
    select(X1,L,_),
    select(X2,L,_),
    select(X3,L,_),
    select(X4,U,_).

rybki(Bareja,Lada,Pawlowski,Sasin):-
    sel(B1,B2,B4,B5),
    sel(L1,L2,L4,L5),
    sel(P1,P2,P4,P5),
    sel(S1,S2,S4,S5),