prolog5

select(X,[7,1,5,4],Z),select(Y,Z,_).

 select(X,[7,1,5,4],Y).

select(X,[7,1,5,4],_).

 select(5,[7,1,5,4],X).

selekcja3(X,Y,Z):-L=[1,2,3,4],select(X,L,L1),select(Y,L1,L2),select(Z,L2,_).
 selekcja3(X,Y,Z).

selekcja3(X,Y,Z):-L=[1,2,3,4],select(X,L,_),select(Y,_,L),select(Z,L,_).

rywale(A,B,D,G,W):-
    L=[1,2,3,4,5],
    select(A,L,L1),A\=1,A\=5,
    select(B,L1,L2),
    select(D,L2,L3),D\=2,
    select(G,L3,L4),
    select(W,L4,_),W\=1,
    G=:=D+2,
    B>W.

rywale(A,B,D,G,W):-
    L=[1,2,3,4,5],
    select(A,L,L1),A\=1,A\=5,
    select(B,L1,L2),
    select(D,L2,L3),D\=2,
    select(G,L3,L4),
    select(W,L4,_),W\=1,
    G=:=D+2,
    B=:=W+1.