在 Prolog 中对列表进行排序

Question

事实库以以下形式存储考试时间表信息：考试（“组”、“科目”、“教师”、日期）。 编写一个程序，允许您为小组/教师选择考试信息，并按日期对其进行排序。

所以，我已经知道如何根据您的需要（通过组号或教师姓名）从 base 获取数据：

exam('426-1', 'PROGRAMMING', 'John', 08-12-2019).
exam('426-1', 'MATH', 'John', 18-12-2019).
exam('426-3', 'ENG', 'Gabe', 16-12-2019).
exam('426-4', 'LITERATURE', 'Homer', 11-12-2019).


findByGroup(Number, Exams) :-
    findall([A,B|C], exam(Number, A,B,C), Exams).

findByTeacher(Name, Exams) :-
    findall([A,B|C], exam(A, B, Name,C), Exams).

这是输入

findByGroup('426-1', X).

这是输出

X = [['PROGRAMMING', 'John'|8-12-2019], ['MATH', 'John'|18-12-2019]]

但我不知道如何按日期对输出进行排序。 例如，如何按日期升序对数据进行排序？

例子：

Before X = [['MATH', 'John'|18-12-2019], ['PROGRAMMING', 'John'|8-12-2019]]

After X = [['PROGRAMMING', 'John'|8-12-2019], ['MATH', 'John'|18-12-2019]]

Answer 1

有几件事情需要考虑：

• 日期格式需要采用按时间顺序排序的格式
• 每个exam项目的信息需要组织成一个术语，将根据日期进行排序

对于日期格式，您使用的是带有整数参数的-函子。 还行吧。 为了按时间顺序排序，顺序需要是year-month-day 。 您可以将原始数据更改为该形式，也可以在进行排序之前转换为可排序的形式。

关于考试数据记录，如果您创建的记录格式为以日期为第一个参数的术语，则对记录进行排序将按日期排序。 例如，以下任何术语都将在 Prolog 中按日期排序：

exam(Date, Number, A, B)
[Date, Number, A, B]
...etc...

现在我们将其应用于您的问题。 如果您的日期格式为可排序格式，则可以使用setof/3而不是findall/3进行排序：

% exam(Number, Class, Name, Date)
exam('426-1', 'PROGRAMMING', 'John', 2019-12-08).
exam('426-1', 'MATH', 'John', 2019-12-18).
exam('426-3', 'ENG', 'Gabe', 2019-12-16).
exam('426-4', 'LITERATURE', 'Homer', 2019-12-11).

findByGroup(Number, Exams) :-
    setof([Date, Number, Class, Name], exam(Number, Class, Name, Date), Exams).

findByTeacher(Name, Exams) :-
    setof([Date, Number, Class, Name], exam(Number, Class, Name, Date), Exams).

这将以稍微不同的顺序提供具有属性的术语： [Date, Number, Class, Name] 。 您可以直接使用它，也可以轻松更改它：

reformat_exam_list([Y-M-D, Number, Class, Name], [Number, Class, Name, D-M-Y]).

然后调用maplist(reformat_exam_list, Exams, ReformattedExams) 。

如果您无法更改原始事实中的日期格式，则可以将它们作为setof/3调用的一部分进行预处理。

reformat_sorted_exam(exam(Y-M-D, Number, Class, Name), exam(Number, Class, Name, D-M-Y)).

findByGroup(Number, Exams) :-
    setof(exam(Y-M-D, Number, Class, Name), exam(Number, Class, Name, D-M-Y), ExamList),
    maplist(reformat_sorted_exam, SortedExams, Exams).

在这里，我还使用了exam结构而不是列表来表示考试。 你明白了...