Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | Prolog-Übersetzer |
| Autor | Pichler, Christian |
| Erscheinungsjahr | 1984 |
| Abstract | Die Programmiersprache Prolog basiert auf dem Kalkül der Prädikatenlogik, welche auf die Teilmenge der Hornklauseln eingeschränkt wurde. Es ist eine einfache, aber mächtige Programmiersprache, welche es erlaubt, Probleme, die mittels Objekten und Beziehungen zwischen diesen Objekten beschrieben sind, zu lösen. Die grundlegende Berechnungsvorschrift dieser Sprache besteht in einem Prozeß (unify, vereinigen), der versucht, zwei beliebige Datenstrukturen (Terme) so anzugleichen (pattern matching), daß sie identisch werden. In dieser Abhandlung soll speziell gezeigt werden, wie Prologklauseln in Instruktionen einer auf einer tiefen Ebene befindlichen Sprache einer hypothetischen Prologmaschine umzusetzen sind. Der derzeitig implementierte Übersetzer, der selbst in Prolog geschrieben wurde, und als builtin Prädikat eines Prologinterpreters arbeitet, übersetzt Prologklauseln in die Sprache der eben genannten Prologmaschine, welche dann mittels eines in C geschriebenen Interpreters emuliert wird. |
| Status | Verfügbar |