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