Title
An optimizing Prolog compiler
Abstract
In this paper we report on our experiment on Prolog compiler technology. Targeted properties of the compiler are efficiency and portability. The generated code attained so far is efficient enough to gain more than 1 MEGA LIPS on IBM 3090. One of the specialities of the compiler is in the intermediate Virtual Prolog Machine Code, which enhanced efficiency and portability. Another advantage of the compiler is to generate PL.8 code which can be used on multiple machines including the IBM 370 and IBM RT-PC. We also introduce some declarative extensions , which are compatible with Prolog and powerful enough to produce efficient code.
Year
DOI
Venue
1986
10.1007/3-540-18024-9_26
LP
Keywords
Field
DocType
optimizing prolog compiler
Programming language,Functional compiler,Computer science,Compiler correctness,Compiler,Optimizing compiler,Compiler construction,Prolog,Machine code,Software portability
Conference
Volume
ISSN
ISBN
264
0302-9743
0-387-18024-9
Citations 
PageRank 
References 
3
0.59
5
Authors
4
Name
Order
Citations
PageRank
Hideaki Komatsu141034.00
Naoyuki Tamura224622.53
Yasuo Asakawa391.25
Toshiaki Kurokawa4237.25