list - 通过递归扩展 Prolog 目标？

Question

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

不幸的是，我认为这将需要与下面显示的可以运行和冲突目标不同的目标。

更新:现在接近......如果任何一个 RT,TT 对不冲突，can_run/3 返回真......这绝对不是我想要的，但我很接近......如果有人能告诉我如何防止这种情况发生(也许以某种方式使用 ! 运算符？)那太棒了。

更新:Eet werkz!现在用于清理多余的不完美解决方案(不安排任务)和解决方案排列(a、b、c 和 a、c、b 和 b、a、c 和 b、c、a 等...)

更新:呸 .. 好吧，所以这实际上并没有工作......超过 1 的任何事情......嘟嘟嘟嘟嘟嘟还有......似乎它可能是处理密集型的

更新(最终):让它工作并实现“最小窗口优先”启发式以改善处理时间......对于无法解决的计划，仍然存在快速返回错误的问题，但找到解决方案的速度相当快。

这是我到目前为止所拥有的:

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).

我在想我可能需要维护一个每次迭代都会更新的持久结构......

Answer 1

如果您想要的是 can_run(R,T,Rts) 在列表中的任何对发生冲突时失败，那么谓词中的最后一个子句应该是

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

我不熟悉 between/3 谓词，但重要的是 between(TA,TB,T) 的解决方案的效果是在调用 + (...)