E-Book, Englisch, Band 90, 218 Seiten, eBook
Reihe: The Springer International Series in Engineering and Computer Science
Dobry A High Performance Architecture for Prolog
Erscheinungsjahr 2012
ISBN: 978-1-4613-1529-2
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 90, 218 Seiten, eBook
Reihe: The Springer International Series in Engineering and Computer Science
ISBN: 978-1-4613-1529-2
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
1 Introduction.- Logic Programming.- A Prolog Model.- Computer Architecture.- Other Symbolic Computing Processors.- Motivation.- Contributions.- Organization.- 2 An Abstract Prolog Machine.- Data Types.- Memory Areas.- Some Definitions.- Instruction Set.- Fundamental Operations.- Summary.- 3 A Modified WAM.- Address Space of the PLM.- Completing the Instruction Set.- Enhancements to the WAM.- Implementing Built-in Functions.- 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.- Summary.- 5 The Experiment.- Methodology.- The Simulators.- The Benchmark Set.- Results.- Further Improvements to the PLM.- Summary.- 6 Conclusions.- Directions for Future Research.- Conclusions.