Сложность предикатов ISO Пролог

Question

Jan 07, 2015, 01:11 PM

Есть ли гарантии для верхних границ сложности времени стандартных предикатов Пролога?

Например: точно лиsort(+List, ?SortedList) выполняется за время O (nlog (n)) (n - длинаList) в любой стандартной системе Prolog?

Ответы на вопрос(1)

Почему после установки cx_freeze появляется ошибка «нет модуля с именем cx_Freeze»?

Проверьте, содержит ли строка один из 10 символов

Доступ к переменным класса из списка понимания в определении класса

Как конвертировать дату в миллисекундах в изо формате javascript? [Дубликат]

Excel Countif Date в столбце A больше, чем столбец B [закрыто]