Abstract
The design and implementation of a relatively portable Prolog compiler achieving 12K LIPS on the standard benchmark is described. The compiler is incremental and uses decompilation to implement retract, clause, and listing, as well as support the needs of its four-port debugger. The system supports modules, garbage collection, database pointers, and a full range of built-ins.
This work supported in part by US Air Force grant AFOSR-82-0292 and by US Air Force contract F30602-81-C-0169. The authors are very grateful to the following people for numerous valuable conversations on the topics of this paper: Hamid Bacha, Aida Batarekh, Keith Hughes, Jim Kajiya, Kevin Larue, Jacob Levy, Tim Lindholm, Rusty Lusk, Jon Mills, Hidey Nakashima, Ross Overbeek, Karl Puder, and Toby Weinberg.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
7. References
Bowen, K.A., and Kowalski, R.A., Amalgamating language and metalanguage in logic programming, in Logic Programming, ed. K. Clark and S.-A. Tarnlund, 1982, pp 153–172.
Bowen, K.A., and Weinberg, T., A meta-level extension of Prolog, 1985 Symposium on Logic Programming, Boston, IEEE, 1985, pp. 48–53.
Bowen, K.A., Meta-Level programming and knowledge representation, New Generation Computing, 3, 1985, pp. 359–383.
Buettner, K.A., Decompilation of compiler Prolog clauses, submitted.
Bryd, L., Prolog debugging facilities, in Byrd, Pereira, and Warren, 1980.
Byrd, L., Pereira, F., and Warren, D., A Guide to Version 3 of DEC-10 PROLOG, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1980.
Morris, F.L., A time-and space-efficient garbage collection algorithm, Communications of the ACM, 21, (1978), pp. 662–665.
Pereira, L.M., Pereira, F.C., and Warren, D.H.D., User's Guide to DECsystem-10 PROLOG, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1978.
Warren, D.H.D., An abstract Prolog instruction set, SRI Technical Report, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bowen, K.A., Buettner, K.A., Cicekli, I., Turk, A.K. (1986). The design and implementation of a high-speed incremental portable Prolog compiler. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_114
Download citation
DOI: https://doi.org/10.1007/3-540-16492-8_114
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16492-0
Online ISBN: 978-3-540-39831-8
eBook Packages: Springer Book Archive