начальное(состояние([],[],[],[],[], ['Дискретная математика'-'401И', 'Физика'-'401И','Физика'-'402И'] )).
целевое(состояние(_,_,_,_,_,[])).

переход(состояние(P1,P2,P3,P4,P5, [X | T]), состояние([X | P1],P2,P3,P4,P5,T)) :- not(contains(X, P1)).
переход(состояние(P1,P2,P3,P4,P5, [X | T]), состояние(P1, [X | P2],P3,P4,P5,T)) :- not(contains(X, P2)).
переход(состояние(P1,P2,P3,P4,P5, [X | T]), состояние(P1, P2, [ X | P3],P4,P5,T)) :- not(contains(X, P3)).
переход(состояние(P1,P2,P3,P4,P5, [X | T]), состояние(P1, P2, P3, [X | P4],P5,T)) :- not(contains(X, P4)).
переход(состояние(P1,P2,P3,P4,P5, [X | T]), состояние(P1, P2,P3,P4, [ X | P5],T)) :- not(contains(X, P5)).

достижимо(A,A).
достижимо(A,B) :- переход(A,C), достижимо(C,B).

поиск(B) :- начальное(A) , целевое(B), достижимо(A,B).

contains(K, T) :- value(K, V), member(_-V, T).
value(_-V, V).