Abstract
This paper discusses a Prolog compiler for the FACOM α, a symbolic data processing machine. The compiler includes several optimization algorithms, such as separated predicate frames, extended mode declaration, and fast goal invocation. Compiled programs run at 30 to 40 KLIPS.
Preview
Unable to display preview. Download preview PDF.
References
AKIMOTO H (1985) Evaluation of the dedicated Hardware in FACOM ALPHA. IEEE 1985 COMPCON SPRING
Okuno H (1984) Proposed problems for 3rd LISP contest and 1st Prolog contest. (In Japanese) IPSJ, SYM, 28-4
Tick E, Warren DHD (1984) Towards a pipelined Prolog processor. 1984 International Symposium on Logic Programming
Warren DHD (1977) Implementing Prolog — compiling predicate programs. DAI Research Report 39-40, Univ. of Edinburgh
Warren DHD (1980) An improved Prolog implementation which optimizes tail recursion. 1980 Logic Programming Workshop, Debrecen, Hungary
Warren DHD (1983) An abstract Prolog instruction set. Tech Note 309, AIC SRI International
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kishimoto, M., Shinogi, T., Kimura, Y., Hattori, A. (1986). Design and evaluation of a Prolog compiler. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_19
Download citation
DOI: https://doi.org/10.1007/3-540-16479-0_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16479-1
Online ISBN: 978-3-540-39820-2
eBook Packages: Springer Book Archive