Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | PROLOG Meta-Interpreter |
| Autor | Knaus,Bernhard J. |
| Erscheinungsjahr | 1988 |
| Abstract | Das Ziel dieser Arbeit über Meta-Interpreter für logische Sprachen ist es, den Aufbau, die Konstruktion und Anwendung von solchen Meta-Programmen darzustellen. Mit Hilfe von Meta-Interpretern lassen sich die einzelnen Schritte der Abarbeitung von PROLOG-Programmen sichtbar machen und beeinflussen. Die Arbeit führt in die Prinzipien der Meta-Programmierung - speziell der Meta-Interpreter - ein. Es soll an Hand einiger beispielhafter Implementierungen von besonderen Lösungsstrategien gezeigt werden, wie solche Interpreter geschrieben werden können und welche Probleme dies aufwirft; weiters welchen Einfluß diese Änderungen auf die Effizienz der Auswertung, den Beweisfortschritt eines Zieles und die Menge der Lösungen haben. |
| Status | Verfügbar |