7

標準の Prolog 述語の時間計算量の上限に対する保証はありますか?

例:標準準拠の Prolog システムsort(+List, ?SortedList)で O(nlog(n)) 時間 (n は の長さ) で実行されることは確かですか?List

4

1 に答える 1