List 通过递归扩展Prolog目标？

我已经（最终）实现了一些目标，这些目标将根据startBy startAfter和持续时间安排一系列任务。然而，计划目标只接受规定数量的任务。我想扩展schedule目标的功能，以接受单个列表，并在调度时遍历该列表

不幸的是，我认为这将需要与下面所示的“可以运行”和“冲突”目标截然不同的目标

更新：即将接近。。。如果RT、TT对中的任何一对不冲突，can_run/3将返回true。。。这肯定不是我想要的，但我很接近。。。如果有人能告诉我如何避免这种情况发生（也许是通过某种方式使用！操作符？），那将是非常棒的

更新：Eet-werkz！现在清理多余的不完美解决方案（不安排任务）和解决方案排列（a、b、c和a、c、b和b、a、c和b、c、a等）

更新：呸。。好吧，这实际上不起作用。。。对于任何持续时间超过1。。。咕噜咕噜也。。。似乎它可能是相当密集的处理

更新（最终）：让它工作，并实施了“最小窗口优先”启发式，以提高处理时间。。。对于无法解决的计划，仍然存在快速返回false的问题，但找到解决方案的速度相当快

以下是我到目前为止的情况：

can_run(R,T) :- startAfter(R,TA),startBy(R,TB),between(TA,TB,T).

conflicts(R,T,RTs) :- duration(R,D),member([RT,TT],RTs),R=\=RT,duration(RT,DT),T<DT+TT,T+D>TT.

schedule :- findall(R,request(R),Rs),predsort(windowCompare,Rs,Rtn),schedule(Rtn,[]).

windowCompare(D,R1,R2) :- startAfter(R1,SA1),startBy(R1,SB1),W1=SB1-SA1,
                          startAfter(R2,SA2),startBy(R2,SB2),W2=SB2-SA2,
                          W1>W2->D='>';D='<'.

schedule(Rs,RTs) :- Rs==[];
                    (
                    member(R,Rs),select(R,Rs,Rst),
                    can_run(R,T),\+conflicts(R,T,RTs),
                    append(RTs,[[R,T]],RTN),schedule(Rst,RTN),
                    writef('%t @ %t\n',[R,T])
                    ).

request(1).
request(2).
request(3).
request(4).
request(5).
request(6).
request(7).
request(8).
request(9).

startAfter(1,0).
startAfter(2,0).
startAfter(3,0).
startAfter(4,0).
startAfter(5,0).
startAfter(6,0).
startAfter(7,0).
startAfter(8,0).
startAfter(9,0).

startBy(1,20).
startBy(2,40).
startBy(3,15).
startBy(4,5).
startBy(5,0).
startBy(6,35).
startBy(7,30).
startBy(8,10).
startBy(9,25).

duration(1,5).
duration(2,5).
duration(3,5).
duration(4,5).
duration(5,5).
duration(6,5).
duration(7,5).
duration(8,5).
duration(9,5).

can_run（R，T）：-startAfter（R，TA），startBy（R，TB），between（TA，TB，T）。
冲突（R，T，RTs）：-duration（R，D），member（[RT，TT]，RTs），R=\=RT，duration（RT，DT），TTT。
计划：-findall（R，请求（R），Rs），预排序（windowCompare，Rs，Rtn），计划（Rtn，[]）。
窗口比较（D，R1，R2）：-startAfter（R1，SA1），startBy（R1，SB1），W1=SB1-SA1，
startAfter（R2，SA2），startBy（R2，SB2），W2=SB2-SA2，
W1>W2->D='>'；D='如果您希望在列表中的任何对冲突时can_run（R，T，Rts）失败，那么谓词中的最后一个子句应该是

\+ (member([RT,TT], RTs), conflicts(T, RT,TT))

我不熟悉between/3谓词，但between（TA，TB，T）的解决方案的作用是在调用+（…）之前将T绑定到一个基值，这一点很重要。
非常好！我仍然有一些挑剔的行为（显示相同调度场景的所有排列…，即：1@0，2@2，3@1（假设更新的事实）谢谢！