如何修复Prolog快速排序实现中的instantiation_error(consult/1)错误？

错误原因 #

你遇到的uncaught exception: error(instantiation_error,consult/1)错误，核心问题有两个：

1. 非法比较运算符：代码中使用了HTML转义字符<和>，而非Prolog原生的=<和>比较运算符，导致解释器无法正确解析比较表达式，触发实例化错误。
2. 排序逻辑错误：原qsort第三个子句错误地将列表前两个元素拆分为Head和Pivot，不符合快速排序“选取基准元素分割剩余列表”的常规逻辑，会导致排序结果异常。

修正步骤 #

1. 替换合法的比较运算符：
   将X=<Pivot改为X =< Pivot，X>Pivot改为X > Pivot。
2. 修正qsort子句逻辑：
   重新定义第三个qsort子句，选取列表第一个元素作为基准（Pivot），分割剩余元素，而非拆分前两个元素。

修正后的完整代码 #

qsort([], []).
qsort([X], [X]).
qsort([Pivot|Rest], Sorted) :-
    split(Pivot, Rest, Less, Greater),
    qsort(Less, SortedLess),
    qsort(Greater, SortedGreater),
    append(SortedLess, [Pivot|SortedGreater], Sorted).

split(_, [], [], []).
split(Pivot, [X|T], [X|Less], Greater) :-
    X =< Pivot,
    split(Pivot, T, Less, Greater).
split(Pivot, [X|T], Less, [X|Greater]) :-
    X > Pivot,
    split(Pivot, T, Less, Greater).

验证说明 #

修正后，调用qsort([3,1,4,1,5,9,2,6], Sorted).会返回正确的排序结果Sorted = [1,1,2,3,4,5,6,9]。

内容的提问来源于stack exchange，提问作者Quan Nguyen