class("Monday", ["System Programming", "Principles of Programming Languages"]).
class("Tuesday", ["Artificial Intelligence", "Human Computer Interaction"]).
class("Wednesday", ["Database Technologies"]).
class("Thursday", ["Artificial Intelligence", "Human Computer Interaction"]).
class("Friday", ["System Programming", "Principles of Programming Languages"]).

days(["Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday"]).

fd(z, b).
fc(c, b).

accCp([],[]).
accCp([H|T1],[H|T2]):-
    accCp(T1,T2).

copy(L,R):-
    accCp(L,R).

member(A, [A|Tail]).
member(A, [Head|Tail]):-
    member(A, Tail).

append([],X,X).
append([X|Y],Z,[X|W]) :- append(Y,Z,W).


daysOfClass(Days, [H|[]], Class):-
    write(Days).

daysOfClass(Days, [H|T], Class):-
    class(H, Classes),
    member(Class, Classes),
    append(Days, [H], Result),
    daysOfClass(Result, T, Class);
    daysOfClass(Days, T, Class).

?- days(D),
daysOfClass(Days, D, "System Programming").