Detailinformation

	Diplomarbeit
Titel	VIP Memory-Management
Autor	Puntigam, Franz
Erscheinungsjahr	1989
Abstract	Thema dieser Arbeit ist die Analyse und Implementierung der kompletten Speicherverwaltung für VIP (Vienna Integrated Prolog), ein integriertes Prolog-System mit Zwischencode-Interperter. Alle Klauseln eines Prolog-Programms werden als ausführbarer Zwischencode in einer Datenbank gespeichert und können später aus der Datenbank entfernt werden. Zusätzliche Informationen bei den Klauseln ermöglicht dem Interpreter, alle passenden Klauseln rasch zu finden. Die Klauseln eines Prolog-Programms können auf Module aufgeteilt werden. In VIP ist ein atombasiertes Modulkonzept mit generischen Atomen implementiert. Lokale und generische Atome werden in einer Atom-Datenbank gespeichert. Eine kompakte Darstellung generischer Atome spart Rechenzeit und Speicherplatz. Klauseln, Module und Atome können in einer Bibliothek permanent gespeichert werden. Bibliotheken und Module sind zwischen verschiedenen Rechnern austauschbar. Damit können Prolog-Programme als Zwischencode von einem Rechner auf einen anderen übertragen werden. Um VIP auch auf Rechnern mit wenig Hauptspeicher einsetzen zu können, werden Teile der Klausel- bzw. Atom-Datenbank auf einen externen Speicher ausgelagert.
Status	Verfügbar