Komplexität von ISO Prolog-Prädikaten
Gibt es Garantien für Obergrenzen für die zeitliche Komplexität der Standard-Prädikate von Prolog?
Zum Beispiel: Ist es sicher, dasssort(+List, ?SortedList)
läuft in O (nlog (n)) Zeit (n ist die Länge vonList
) in einem standardkonformen Prolog-System?