Tag: 的同步

ISO Prolog谓词的复杂性

标准Prolog谓词的时间复杂度上限是否有保证? 例如:在任何符合标准的Prolog系统中,确定sort(+List, ?SortedList)在O(nlog(n))时间(n是List的长度)中运行?