Contents

• Contents
• Die zwei Syntaxen von Relfun
  • Abstrakte und konkrete Syntax
  • Die Prolog-artige Syntax
• Lisp2Pro: Pretty-Printer für die Prolog-artige Syntax
  • Die Schnittstelle
  • Ausgabeformate
  • Der Maßbaum
• Pro2Lisp: Reader für die Prolog-artige Syntax
  • Die Schnittstelle
  • Transformation der Grammatik
    • Anforderungen
    • Regeln
    • Transformationen
  • Scanner und Parser
• Einbindung in das Relfun-System
  • Ein-/Ausgabefunktionen
  • System-Kommandos
• References
• Beispieldialog
• Beispiele in zwei Syntaxen
  • attval
  • genints
  • inv
  • revise
  • serialisef
  • serialiser
  • signum
• Listing: Lisp2Pro
• Listing: Pro2Lisp
• About this document ...