相关疑难解决方法(0)

标准Prolog谓词的时间复杂度是否有上限保证？

例如:在任何符合标准的Prolog系统中,是否确定sort(+List, ?SortedList)在O(nlog(n))时间(n是长度List)中运行？