Suchergebnisse für Anfrage "iso-prolog"
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 ...
Implementierung von Cut im Tracing-Meta-Interpreter-Prolog
Ich habe diesen Tracing-Meta-Interpreter, geändert von der vorherigen Frage Prolog Gebundene Variable aufheben [https://stackoverflow.com/questions/27225398/prolog-unbind-binded-variable]. Ich verstehe nicht, wie man einen Schnitt interpretiert. ...
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 ...
Variablennamen neu anordnen
So schreiben Sie standardkonformavs_term_rearranged(AVs, T, AVsR) mit gegebenAVs undT so dassAVsR ist eine Permutation vonAVs wobei die Elemente in derselben Reihenfolge angeordnet sind, in der ihre Variablen in der Reihenfolge von links nach ...
Welche Bedeutungen von "Typ" werden in der Norm verwendet?
In Teil 1 der ISO-Norm für Prolog, ISO / IEC 13211-1: 1995, wird der Begriff "Typ" verwendet, um sich auf verschiedene Dinge zu beziehen. Dies führt oft zu Verwirrung. Zum Beispiel eine Seite namens IsoErrata (archivierte ...
Safer Typprüfungen in Prolog
ISO-Prolog (ISO / IEC 13211-1: 1995 einschließlich Cor.1: 2007, Cor.2: 2012) bietetfolgend [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#status_quo] eingebaute Prädikate zum Testen des Typs eines Begriffs: 8.3 Typprüfung 1 var / ...
Bedeutung von Instantiierungsmodus-Indikatoren in Argumenten von Prolog-Prädikaten
In der Prolog-Dokumentation werden Prädikatsignaturen manchmal wie folgt geschrieben:
Wie werden die entsprechenden Vergleichsprädikate für sichere Begriffe in ISO Prolog definiert (und benannt)?
Standard-Termreihenfolge (ISO / IEC 13211-1 7.2 Termreihenfolge) wird über alle Terme definiert - einschließlich Variablen. Es gibt zwar gute Verwendungsmöglichkeiten dafür - denken Sie an die Implementierung vonsetof/3, dies macht viele ...
Seite 1 von 2