operatingSYstem

indice(lunes,1).
indice(martes,2).
indice(miercoles,3).
indice(jueves,4).
indice(viernes,5).

respuesta(L):-
    nombres = [ harvey, john, elliot, george, michael],
    apellidos = [ almond, crawford, grace, maxwell, bixby],
    areas = [ finance, manufacturing, customerservice, marketing, engineering],
    sis = [ apple, windows],


    select(N1,nombres,J1),
    select( michael,J1,J2),
    select(N3,J2,J3),
    select(N4,J3,J4),
    select(N5,J4,_),

    select(A1, apellidos,K1),
    select(A2,K1,K2),
    select(A3,K2,K3),
    select(A4,K3,K4),
    select(A5,K4,_),

    select(R1, areas, M1),
    select(R2,M1,M2),
    select(R3,M2,M3),
    select(R4,M3,M4),
    select( engineering,M4,_),

    member(S1,sis),
    member(S2,sis),
    member(S4,sis),
    member(S5,sis),

    L1 = [ lunes,N1,A1,R1,S1],
    L2 = [ martes,michael,A2,R2,S2],
    L3 = [ miercoles,N3,A3,R3, apple],
    L4 = [ jueves,N4,A4,R4,S4],
    L5 = [ viernes,N5,A5, engineering,S5],

    L = [L1,L2,L3,L4,L5],

    %% (dia, nombre, apellido, area, sistemaop)

    member([_,_,_, finance, windows],L),
    member([_,_, almond,_, windows],L),
    member([_, harvey,_,_, windows],L),

    \+ member([_, john, crawford,_,_],L),
        member([_, john,_, customerservice,_],L),
    \+ member([_,_, grace,_, manufacturing,_],L),

    member([DiaM,_, maxwell,_, apple],L),
    member([DiaE, elliot,_,_, windows],L),
    \+ member([_, harvey,_, marketing,_],L),
    member([DiaC,_,_, marketing,_],L),
    indice(DiaM,X),
    indice(DiaE,Y),
    indice(DiaC,Z),

    X1 is X+1,
    X1 =:= Y,
    X2 is Z-2,
    X2 =:= Z,

    \+ member([_, elliot, crawford,_,_],L),
    \+ member([_,_, crawford, engineering,_],L),

    \+ member([_, michael,_, marketing,_],L),
    \+ member([ viernes, george, bixby, engineering,_],L),
    member([_, george, bixby,_,_],L).