23、Prolog编程中的调度与前向链规则系统

Prolog编程中的调度与前向链规则系统

1. 调度问题

在调度问题中，启发式方法可能比回溯到原始启发式方法更快地改进调度方案。一种策略是在调度相对灵活时，先解决更困难的调度问题。例如，将能执行该工作的工人较少的工作时段子句排在能执行该工作的工人较多的工作时段子句之前。这可以通过编写程序在调度器运行前分析数据并重新排列，使调度器的工作更轻松。

1.1 SCHEDULE.PL 程序示例

以下是一个调度程序的示例代码：

% SCHEDULE.PL
% An example of a scheduling program.
schedule :-
    findall(slots(Day,Time,Job,Number), slots(Day,Time,Job,Number), Slots),
    schedule_aux(Slots,[], IntermediateSchedule),
    improve_schedule(IntermediateSchedule, Schedule),
    write_report(Schedule).

% Procedure to extend a partial schedule until it is complete.
schedule_aux([],Schedule,Schedule).
schedule_aux([slots(_,_,_,0)|RestOfSlots],Partial,Schedule) :-
    schedule_aux(RestOfSlots,Partial,Schedule).
schedule_aux([sl