Complexidade dos predicados do ISO Prolog
Existem garantias para os limites superiores na complexidade de tempo dos predicados padrão do Prolog?
Por exemplo: é certo quesort(+List, ?SortedList)
é executado no tempo O (nlog (n)) (n sendo o comprimento deList
) em qualquer sistema Prolog compatível com padrão?