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 ...

DCG-Erweiterung: Wird Standfestigkeit ignoriert?

Angenommen, ich habe die folgende DCG-Regel:

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 / ...

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 ...

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 ...

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 ...

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 ...

Eine durchsuchbare Prolog-Sprachbeschreibung online [geschlossen]

Gibt es eine Beschreibung der Prolog-Sprache (Syntax und Semantik), die online verfügbar ist?Es gibt viele Referenzhandbücher für Implementierungen. Aber kei...

Prolog: Klauseln sind nicht zusammen in der Quelldatei

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. ...