Detailinformation

	Diplomarbeit
Titel	Implementierung der VPL-Kommunikationsvariablen in PROLOG
Autor	Tschernko, Thomas
Erscheinungsjahr	1993
Inventardatum	29.04.1993
Abstract	Die vorliegende Diplomarbeit beschreibt die Implementierung der parallelen logischen Sprache VPL-Mini, die ein Prototyp der Sprache VPL (Vienna Parallel Logic) ist, in der Sprache Prolog. VPL-Mini unterstützt eine parallele Ausführung von miteinander kommunizierenden Prozessen und die Berechnung von verschiedenen Lösungen durch programmiertes Rücksetzen. Die Kommunikation erfolgt über gemeinsame logische Variablen, sogenannte Kommunikationsvariablen, die innerhalb von Transaktionen unifiziert oder getestet werden. Kommunikationsvariablen haben die "single assignment" Eigenschaft. Zunächst sind sie frei, doch sobald sie einen Wert erhalten, können sie nicht mehr geändert werden. Es wird ein Protokoll beschrieben, welches diese Anforderungen in einem Netzwerk von Rechnern erfüllt.
Status	Verfügbar