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

целевое(состояние(_, _, _, _, _, [])).

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

%--решатель-(простой поиск в глубину)--

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

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