Alternative implementations of Prolog: the microarchitecture perspective

An area that should provide opportunities for obtaining improvements in the performance of Prolog programming is explored: the microarchitecture of the uniprocessor engine. Alternative execution models are examined for a uniprocessor microengine, and their performance is measured on 14 separate benc...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on systems, man, and cybernetics Vol. 19; no. 4; pp. 693 - 698
Main Author Patt, Y.N.
Format Journal Article
LanguageEnglish
Published New York, NY IEEE 01.07.1989
Institute of Electrical and Electronics Engineers
Subjects
Applied sciences
Artificial intelligence
Computer aided instruction
Computer architecture
Computer science
Computer science; control theory; systems
Computerized monitoring
Data structures
Engines
Exact sciences and technology
Logic
Microarchitecture
Wires
Performance evaluation
Logical programming
PROLOG
Programming language
Artificial intelligence
Implementation
Online AccessGet full text

Cover

More Information
Summary:An area that should provide opportunities for obtaining improvements in the performance of Prolog programming is explored: the microarchitecture of the uniprocessor engine. Alternative execution models are examined for a uniprocessor microengine, and their performance is measured on 14 separate benchmark programs; the resulting data is presented and analyzed. The author also examines the program size explosion that results from compiling directly to a low-level instrument assembly. The characteristics of an optimal microarchitecture are identified and opportunities for further improvement at the microengine level are discussed.< >
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0018-9472
2168-2909
DOI:10.1109/21.35333