Suchergebnisse für Anfrage "iso-prolog"
DCG-Erweiterung: Wird Standfestigkeit ignoriert?
Angenommen, ich habe die folgende DCG-Regel:
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 ...
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...
Bedeutung von Instantiierungsmodus-Indikatoren in Argumenten von Prolog-Prädikaten
In der Prolog-Dokumentation werden Prädikatsignaturen manchmal wie folgt geschrieben:
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. ...
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 ...
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 ...
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 / ...
Seite 1 von 2