我正在 Prolog 中构建考试调度程序。 调度程序基于此示例： https://metacpan.org/source/DOUGW/AI-Prolog-0.741/examples/schedule.pl
如何确保我的解决方案中没有排列？
例如解决方案
-> ((exam1, teacher1, time1, room1), (exam2, teacher2, time2, room2))
后期解决方案：
-> ((exam2, teacher2, time2, room2),(exam1, teacher1, time1, room1))
我怎样才能避免这种情况？ 谢谢！
【问题讨论】：
标签： prolog permutation schedule
1) 最接近/最简单的方法是检查您选择的课程是否严格按照顺序比前一个课程大。
例如，通过添加一个额外的谓词，该谓词还包括组合中的上一门课程。
%%makeListPrev(PreviousTakenCourse, ResultCombinationOfCourses, NrOfCoursesToAdd)
makeListPrev(_,[], 0).
makeListPrev(course(Tprev,Ttime,Troom),[course(Teacher,Time,Room)|Rest], N) :-
N > 0,
teacher(Teacher),
classtime(Time),
classroom(Room),
course(Tprev,Ttime,Troom) @< course(Teacher,Time,Room), %% enforce unique combinations
is(M,minus(N,1)),
makeListPrev(course(Teacher,Time,Room),Rest,M).
通过这种方式，您可以通过始终采用字典顺序最小的方式来消除同一组合的所有重复排列。
例如，如果您有 4 门课程：
(a,b,c,d)
(a,b,d,c) % d can't be before c
(a,c,b,d) % c can't be before b
...
2) 另一种很容易解决此问题的方法是首先创建所有可能课程的列表。然后依次取出N的所有可能组合。
scheduler(L) :-
%% Find all possible courses
findall(course(Teacher,Time,Room),(teacher(Teacher),classtime(Time),classroom(Room)),Courses),
makeList(Courses,4,L),
different(L).
makeList([],0,[]) :- !. %% list completed
makeList([H|T],N,[H|Res]) :- %% list including H
M is N-1,
makeList(T,M,Res).
makeList([_|T], N, Res) :- makeList(T, N, Res). %% list without H
【讨论】：
(<)/2 使用(@<)/2！这适用于任意项，而不仅仅是算术表达式。此外，Tprev、Ttime 和 Troom 需要“穿通”，以便可以将一个列表元素与前面的元素进行比较。
makeList/3 的子句（1），我收到警告Singleton variables: [Tprev,Ttime,Troom]。由于所述变量只出现一次，它们中的每一个都像_。所以你有效地做的测试是c(_,_,_) @< c(x,y,z)。由于术语的标准顺序（参见swi-prolog.org/pldoc/man?section=standardorder 或sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/…），该测试始终为真
(!)/0。