Concepts, Design, and Performance Analysis...

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

51,45 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author shows how even fully deterministic Prolog programs can be effectively mapped onto the proposed architecture. The design is based on a highly optimized abstract Prolog specific instruction set. A special feature of this work is a sophisticated classification scheme for Prolog variables which substantially reduces the overhead for unification with occur-check. To support the model an architecture consisting of a circular pipeline of independent processors has been designed. This pipeline has been designed to work as a co-processor to a UNIX based workstation. In contrast to other attempts to execute sequential Prolog in parallel, the proposed model does not restrict the use of any of the standard Prolog language features. The book gives a full account of the execution model, the system architecture, and the abstract Prolog instruction set.

Inhaltsverzeichnis

Compilation of sequential Prolog.- Pipelined execution of sequential Prolog.- The occur-check problem.- The abstract parallel Prolog machine.- Simulation.- Conclusion.- Benchmark programs.- Compilation examples.

Erscheinungsjahr:	1989
Fachbereich:	Hardware
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	140
Reihe:	Lecture Notes in Computer Science
Inhalt:	viii 132 S.
ISBN-13:	9783540520535
ISBN-10:	3540520538
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Beer, Joachim
Auflage:	1989
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg Lecture Notes in Computer Science
Maße:	235 x 155 x 8 mm
Von/Mit:	Joachim Beer
Erscheinungsdatum:	13.12.1989
Gewicht:	0,224 kg

Ähnliche Produkte