Pasted

domains
    professor = symbol.    % Имя профессора
    lesson = symbol.    % Название предмета
    day = symbol.     % День недели
    time = symbol.   % Время
 
predicates
    /**
     * Контейнер содержит время, когда профессор занят
     * Каждая запись для каждого дня
     */
    nondeterm working_time(professor, day, time, time).
    
    /**
     * Контейнер содержит имя профессора и предмет, который он ведет 
     */
    nondeterm professors(professor, lesson).
    
    /**
     * Функция нужна для получения имени профессора,
     * который может вести предмет {lesson}
     * который свободен в {time}
     */
    nondeterm whoCanChange(lesson, professor, professor, day, time).
 
clauses
    /**
     * @param LessonName - название предмета
     * @param Professor - профессор, которого нужно заменить
     * @param FreeProfessor - профессор, который может заменить
     * @param Time - время, в которое нужно заменить
     */
    whoCanChange(LessonName, Professor, FreeProfessor, Day, Time) :-
        professors(FreeProfessor, LessonName), % Получаем всех преподавателей, которые могут вести предмет {LessonName}
        FreeProfessor <> Professor, % Убираем профессора, которого заменяем
        working_time(FreeProfessor, BusyDay, BusyTimeFrom, BusyTimeTo), % Получаем время работы второго профессора
        BusyDay = Day, % Получаем время работы второго профессора в нужный день
        BusyTimeFrom >= Time. % Время, с которого занят профессор должно начинаться позже нужного времени
        
    whoCanChange(LessonName, Professor, FreeProfessor, Day, Time) :-
        professors(FreeProfessor, LessonName), % Получаем всех преподавателей, которые могут вести предмет {LessonName}
        FreeProfessor <> Professor, % Убираем профессора, которого заменяем
        working_time(FreeProfessor, BusyDay, BusyTimeFrom, BusyTimeTo), % Получаем время работы второго профессора
        BusyDay = Day, % Получаем время работы второго профессора в нужный день
        BusyTimeTo <= Time. % Время, до которого занят профессор должно кончаться раньше нужного времени
 
    % Предметы, которые ведут профессоры
    professors("professor_1", "math").
    professors("professor_1", "physics").
    
    professors("professor_2", "math").
    professors("professor_2", "chemistry").
    
    professors("professor_3", "chemistry").
    professors("professor_3", "physics").
    
    % Занятость профессоров
    working_time("professor_1", "monday", "10:00", "14:00").
    working_time("professor_1", "tuesday", "10:00", "14:00").
    working_time("professor_1", "wednesday", "00:00", "00:00"). % Не занят в среду
    
    working_time("professor_2", "monday", "08:00", "16:00").
    working_time("professor_2", "tuesday", "08:00", "12:00").
    working_time("professor_2", "wednesday", "00:00", "00:00"). % Не занят в среду
    
    working_time("professor_3", "monday", "08:00", "12:00").
    working_time("professor_3", "tuesday", "00:00", "00:00"). % Не занят во вторник
    working_time("professor_3", "wednesday", "08:00", "16:00").
 
goal
    % Ответ: П1
    % whoCanChange("math", "professor_2", Professor, "monday", "08:00").
    
    % Ответ: П3
    whoCanChange("physics", "professor_1", Professor, "tuesday", "12:00").
    
    % Перечисляем всех профессоров, которые свободны во вторник в 15:00
    % Т.е. имя профессора не должно быть null (синоним все профессоры, кроме null)
    % whoCanChange(_, "null", Professor, "tuesday", "15:00").