Prolog：Kth列表中最大的元素

Question

我正在学习Prolog并试图解决书中的一些练习＆＃34; Prolog的艺术＆＃34;。有人，请帮我解决问题3.3.1。（vi），下面是问题 -

Q值。为kth_largest（Xs，K）编写实现的逻辑程序 用于求出列表Xs的第k个最大元素K的线性算法。 该算法具有以下步骤：

• 将列表分成五个元素组。
• 有效地找到每组的中位数，这是可以完成的 具有固定数量的比较。
• 递归地找到中位数的中位数。
• 根据中位数的中位数对原始列表进行分区。
• 递归地找到适当的较小的第k个最大元素 列表。

任何帮助将不胜感激。提前谢谢。