Articoli correlati a A High Performance Architecture for Prolog: 90
Sinossi
Artificial Intelligence is entering the mainstream of com puter applications and as techniques are developed and integrated into a wide variety of areas they are beginning to tax the pro cessing power of conventional architectures. To meet this demand, specialized architectures providing support for the unique features of symbolic processing languages are emerging. The goal of the research presented here is to show that an archi tecture specialized for Prolog can achieve a ten-fold improve ment in performance over conventional, general-purpose architec tures. This book presents such an architecture for high perfor mance execution of Prolog programs. The architecture is based on the abstract machine descrip tion introduced by David H.D. Warren known as the Warren Abstract Machine (W AM). The execution model of the W AM is described and extended to provide a complete Instruction Set Architecture (lSA) for Prolog known as the PLM. This ISA is then realized in a microarchitecture and finally in a hardware design. The work described here represents one of the first efforts to implement the W AM model in hardware. The approach taken is that of direct implementation of the high level WAM instruction set in hardware resulting in a elSe style archi tecture.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1 Introduction.- Logic Programming.- A Prolog Model.- Some Example Applications in Prolog..- Progress in Prolog Implementations..- Computer Architecture.- Other Symbolic Computing Processors.- The Japanese PSI..- The LISP Machines..- The SPUR Project..- Motivation.- Contributions.- Organization.- 2 An Abstract Prolog Machine.- Data Types.- Memory Areas.- Some Definitions.- Instruction Set.- Procedure Code..- Indexing Code..- Clause Code..- Data Manipulation Code..- An Example of Compiled Code..- Fundamental Operations.- Failure..- Variable Binding and Dereferencing..- Trailing..- General Unification..- Summary.- 3 A Modified WAM.- Address Space of the PLM.- Representing Data..- Representing Code..- Completing the Instruction Set.- Support for cdr-coding..- The cut Operation..- An Unnecessary Instruction..- Enhancements to the WAM.- The Environment Size..- Indexing Instructions..- An Unnecessary Register..- Tail Recursion Revisited..- Implementing Built-in Functions.- Compiler Implemented Built-ins..- Internal Built-ins..- External Built-ins..- Some Particularly Difficult Built-ins..- Side-effect Variables..- General assert and retract — Overview..- Code Space Modification..- Summary.- 4 The Architecture Becomes a Machine.- The Prefetch Unit.- Defining a Basic Data Path.- Defining a Microengine.- Tuning the Data Path and the Microcode.- The Path to Memory.- Write Buffering..- Choice Point Cache..- Environment and Trail Buffering..- Summary.- 5 The Experiment.- Methodology.- The Simulators.- ISA Simulation — Level 1..- RTL Simulation — Level 2..- The Benchmark Set.- Results.- Determinate concat — A Case Study..- The Effects of cdr-coding..- The Effects of Environment Trimming..- The Effects of Sidetracking..- The Effects of Host and Memory Speed..- The Effects of Buffers and Caches..- A Critique of the PLM Microcode..- Further Improvements to the PLM.- Summary.- 6 Conclusions.- Directions for Future Research.- Conclusions.
Product Description
Book by Dobry TP
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreKluwer Academic Pub
- Data di pubblicazione1990
- ISBN 10 0792390601
- ISBN 13 9780792390602
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine240
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 92,27
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per A High Performance Architecture for Prolog: 90
Foto dell'editore
A High Performance Architecture for Prolog (The Springer International Series in Engineering and Computer Science)
Da: BookOrders, Russell, IA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hard Cover. Condizione: Acceptable. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover shows light wear. 218 pages. Ex-Library. Codice articolo 120816
Quantità: 1 disponibili
Foto dell'editore
A High Performance Architecture for Prolog (The Springer International Series in Engineering and Computer Science)
Da: The Book Bin, Salem, OR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. 202 pp. Some rubbing. Tight binding, clean copy. Size: 8vo - over 7 3/4 in - 9 3/4 in Tall. Year: 1990. Codice articolo BBS-041075
Quantità: 1 disponibili
Foto dell'editore
A High Performance Architecture for Prolog
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 240 | Sprache: Englisch | Produktart: Bücher. Codice articolo 1653537/203
Quantità: 1 disponibili
Immagini fornite dal venditore
A High Performance Architecture for Prolog. The Springer International Series in Engineering and Computer Science, Band 90.
Editore:
Kluwer Academic Publishers, 1990
ISBN 10: 0792390601
ISBN 13: 9780792390602
Antico o usato
Rilegato
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
gebundene Ausgabe. Condizione: Gut. 218 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 570. Codice articolo 2129458
Quantità: 1 disponibili
Immagini fornite dal venditore
A High Performance Architecture for Prolog
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Introduction.- Logic Programming.- A Prolog Model.- Some Example Applications in Prolog.- Progress in Prolog Implementations.- Computer Architecture.- Other Symbolic Computing Processors.- The Japanese PSI.- The LISP Machines.- The SPUR Project.- Mot. Codice articolo 5971237
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A High Performance Architecture for Prolog
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Artificial Intelligence is entering the mainstream of com puter applications and as techniques are developed and integrated into a wide variety of areas they are beginning to tax the pro cessing power of conventional architectures. To meet this demand, specialized architectures providing support for the unique features of symbolic processing languages are emerging. The goal of the research presented here is to show that an archi tecture specialized for Prolog can achieve a ten-fold improve ment in performance over conventional, general-purpose architec tures. This book presents such an architecture for high perfor mance execution of Prolog programs. The architecture is based on the abstract machine descrip tion introduced by David H.D. Warren known as the Warren Abstract Machine (W AM). The execution model of the W AM is described and extended to provide a complete Instruction Set Architecture (lSA) for Prolog known as the PLM. This ISA is then realized in a microarchitecture and finally in a hardware design. The work described here represents one of the first efforts to implement the W AM model in hardware. The approach taken is that of direct implementation of the high level WAM instruction set in hardware resulting in a elSe style archi tecture. 240 pp. Englisch. Codice articolo 9780792390602
Quantità: 2 disponibili
Immagini fornite dal venditore
A High Performance Architecture for Prolog
Editore:
Springer US, Springer US Jan 1990, 1990
ISBN 10: 0792390601
ISBN 13: 9780792390602
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware -Artificial Intelligence is entering the mainstream of com puter applications and as techniques are developed and integrated into a wide variety of areas they are beginning to tax the pro cessing power of conventional architectures. To meet this demand, specialized architectures providing support for the unique features of symbolic processing languages are emerging. The goal of the research presented here is to show that an archi tecture specialized for Prolog can achieve a ten-fold improve ment in performance over conventional, general-purpose architec tures. This book presents such an architecture for high perfor mance execution of Prolog programs. The architecture is based on the abstract machine descrip tion introduced by David H.D. Warren known as the Warren Abstract Machine (W AM). The execution model of the W AM is described and extended to provide a complete Instruction Set Architecture (lSA) for Prolog known as the PLM. This ISA is then realized in a microarchitecture and finally in a hardware design. The work described here represents one of the first efforts to implement the W AM model in hardware. The approach taken is that of direct implementation of the high level WAM instruction set in hardware resulting in a elSe style archi tecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. Codice articolo 9780792390602
Quantità: 2 disponibili
Foto dell'editore
A High Performance Architecture for Prolog (The Springer International Series in Engineering and Computer Science, 90)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792390602_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A High Performance Architecture for Prolog
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Artificial Intelligence is entering the mainstream of com puter applications and as techniques are developed and integrated into a wide variety of areas they are beginning to tax the pro cessing power of conventional architectures. To meet this demand, specialized architectures providing support for the unique features of symbolic processing languages are emerging. The goal of the research presented here is to show that an archi tecture specialized for Prolog can achieve a ten-fold improve ment in performance over conventional, general-purpose architec tures. This book presents such an architecture for high perfor mance execution of Prolog programs. The architecture is based on the abstract machine descrip tion introduced by David H.D. Warren known as the Warren Abstract Machine (W AM). The execution model of the W AM is described and extended to provide a complete Instruction Set Architecture (lSA) for Prolog known as the PLM. This ISA is then realized in a microarchitecture and finally in a hardware design. The work described here represents one of the first efforts to implement the W AM model in hardware. The approach taken is that of direct implementation of the high level WAM instruction set in hardware resulting in a elSe style archi tecture. Codice articolo 9780792390602
Quantità: 1 disponibili
Foto dell'editore
A High Performance Architecture for Prolog
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 544. Codice articolo C9780792390602
Quantità: Più di 20 disponibili