Suchergebnisse für Anfrage "iso-prolog"
Variables Vorkommen in einer Liste von Variablen
Betrachte ein (meta-logisches) Prädikatvar_in_vars(Var, Vars) welches eine Variable nimmtVar und eine Liste von VariablenVars und erfolgreich wennVar tritt auf inVars. Wir müssen also nicht sicherstellen, dassVar ist eine Variable, noch dasVars ...
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 ...
Seite 2 von 2