Complejidad de predicados ISO Prolog
¿Hay alguna garantía para los límites superiores en la complejidad temporal de los predicados Prolog estándar?
Por ejemplo: ¿es cierto quesort(+List, ?SortedList) se ejecuta en tiempo O (nlog (n)) (n es la duración deList) en cualquier sistema Prolog que cumpla con los estándares?