Abstract
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism. In this work we show that David H. D. Warren’s design for the EAM with Implicit Control does not perform well for deterministic computations and we present several optimisations that allow the BEAM to achieve performance matching or even exceeding related systems. Our optimisations refine the original EAM control rule demonstrate that overheads can be reduced through combined execution rules, and show that a good design and emulator implementation is relevant, even for a complex system such as the BEAM.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bueno, F., Hermenegildo, M.V.: An Automatic Translations Scheme from Prolog to the Andorra Kernel Language. In: International Conference on Fifth Generation Computer Systems 1992, Tokyo, Japan, pp. 759–769. ICOT (June 1992)
Carlson, B., Haridi, S., Janson, S.: AKL(FD)-A concurrent language for FD programming. In: Logic Programming: Proceedings of the 1994 International Symposium, pp. 521–535. MIT Press, Cambridge (1994)
Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un système de communication homme–machine en francais. Technical report cri 72–18, Groupe Intelligence Artificielle, Université Aix-Marseille II (October 1973)
Damas, L., Santos Costa, V., Reis, R., Azevedo, R.: YAP User’s Guide and Reference Manual (1998)
Demoen, B., Nguyen, P.-L.: So Many WAM Variations, So Little Time. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1240–1254. Springer, Heidelberg (2000)
Gupta, G., Warren, D.H.D.: An Interpreter for the Extended Andorra Model. Internal report, University of Bristol (1991)
Hill, R.: LUSH-Resolution and its Completeness. Dcl memo 78, Department of Artificial Intelligence, University of Edinburgh (1974)
Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proceedings Fourtheenth Annual ACM Symposium on Principles of Programming Languages, pp. 111–119. ACM, New York (1987)
Janson, S.: AKL – A Multiparadigm Programming Language. PhD thesis, SICS Swedish Institute of Computer Science, Uppsala University (1994)
Janson, S., Montelius, J.: Design of a Sequential Prototype Implementation of the Andorra Kernel Language. Sics research report, Swedish Institute of Computer Science (1992)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Lopes, R.: An Implementation of the Extended Andorra Model. PhD thesis, Universidade do Porto (September 2001)
Lopes, R., Costa, V.S., Silva, F.: A novel implementation of the extended andorra model. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 199–213. Springer, Heidelberg (2001)
Lopes, R., Santos Costa, V.: The BEAM: Towards a first EAM Implementation. In: ILPS 1997 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Port Jefferson (October 1997)
Lopes, R., Santos Costa, V.: Memory Management for the BEAM. In: CL 2000 First Workshop on Memory Management in Logic Programs, Technical Report of Dept. Comp. Science, K.U.Leuven (July 2000)
Lopes, R., Silva, F., Santos Costa, V., Abreu, S.: The RAINBOW: Towards a Parallel Beam. In: Workshop on Parallelism and Implementation Technology for (Constraint) Logic Languages (July 2000)
Palmer, D., Naish, L.: NUA-Prolog: an Extension to the WAM for Parallel Andorra. In: Furukawa, K. (ed.) Proceedings of the Eighth International Conference on Logic Programming. MIT Press, Cambridge (1991)
Santos Costa, V.: Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I. PhD thesis, University of Bristol (August 1993)
Santos Costa, V.: Optimising bytecode emulation for prolog. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol. 1702, pp. 261–267. Springer, Heidelberg (1999)
Santos Costa, V., Srinivasan, A., Camacho, R.: A note on two simple transformations for improving the efficiency of an ILP system. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, p. 225. Springer, Heidelberg (2000)
Santos Costa, V., Warren, D.H.D., Yang, R.: The Andorra-I Preprocessor: Supporting full Prolog on the Basic Andorra model. In: Proceedings of the Eighth International Conference on Logic Programming, June 1991, pp. 443–456. MIT Press, Cambridge (1991)
Warren, D.H.D.: The Andorra model. Presented at Gigalips Project workshop, University of Manchester (March 1988)
Warren, D.H.D.: Extended Andorra model. PEPMA Project workshop, University of Bristol (October 1989)
Warren, D.H.D.: The Extended Andorra Model with Implicit Control. Presented at ICLP 1990 Workshop on Parallel Logic Programming, Eilat, Israel (June 1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lopes, R., Costa, V.S., Silva, F. (2003). On Deterministic Computations in the Extended Andorra Model. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-24599-5_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20642-2
Online ISBN: 978-3-540-24599-5
eBook Packages: Springer Book Archive