Improved compilation of prolog to C using moded types and determinism information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3057, Issue , 2004, Pages 86-103

  Morales, J ^a   Carro, Manuel ^a   Hermenegildo, Manuel ^a,b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSITY OF NEW MEXICO   (United States)

Author keywords

C; Global analysis; Optimizing compilation; Prolog

Indexed keywords

CESIUM; CODES (SYMBOLS); MACHINERY; PROGRAM COMPILERS; PROGRAM TRANSLATORS; PROLOG (PROGRAMMING LANGUAGE);

AUTOMATIC ANALYSIS; FLEXIBLE DESIGNS; GLOBAL ANALYSIS; HIGH-LEVEL INFORMATION; MEMORY MANAGEMENT; OPTIMIZING COMPILATION; PROLOG; TRANSLATION PROCESS;

C (PROGRAMMING LANGUAGE);

EID: 84974711183     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_7     Document Type: Conference Paper

References (30)

1. Colmerauer, A.: The Birth of Prolog. In: Second History of Programming Languages Conference. ACM SIGPLAN Notices (1993) 37-52
2. Van Roy, P.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. Journal of Logic Programming 19/20 (1994) 385-441
3. Pereira, F.: C-Prolog User’s Manual, Version 1.5, University of Edinburgh. (1987)
4. Warren, D.: An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025 (1983)
5. Ait-Kaci, H.: Warren’s Abstract Machine, A Tutorial Reconstruction. MIT Press (1991)
6. Taylor, A.: High-Performance Prolog Implementation. PhD thesis, Basser Department of Computer Science, Unversity of Sidney (1991)
7. Krall, A., Berger, T.: The VAMAI-an abstract machine for incremental global dataflow analysis of Prolog. In de la Banda, M.G., Janssens, G., Stuckey, P., eds.: ICLP’95 Post-Conference Workshop on Abstract Interpretation of Logic Languages, Tokyo, Science University of Tokyo (1995) 80-91
8. Van Roy, P., Despain, A.: High-Performace Logic Programming with the Aquarius Prolog Compiler. IEEE Computer Magazine (1992) 54-68
9. Swedish Institute for Computer Science PO Box 1263, S-164 28 Kista, Sweden: SICStus Prolog 3.8 User’s Manual. 3.8 edn. (1999) Available from http://www.sics.se/sicstus/.
10. Mariën, A.: Improving the Compilation of Prolog in the Framework of the Warren Abstract Machine. PhD thesis, Katholieke Universiteit Leuven (1993)
11. Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 2001 (2001)
12. Jones, S.L.P., Ramsey, N., Reig, F.: C--: A Portable Assembly Language that Supports Garbage Collection. In Nadathur, G., ed.: International Conference on Principles and Practice of Declarative Programming. Number 1702 in Lecture Notes in Computer Science, Springer Verlag (1999) 1-28
13. Codognet, P., Diaz, D.: WAMCC: Compiling Prolog to C. In Sterling, L., ed.: International Conference on Logic Programming, MIT PRess (1995) 317-331
14. Quintus Computer Systems Inc. Mountain View CA 94041: Quintus Prolog User’s Guide and Reference Manual—Version 6. (1986)
15. Santos-Costa, V., Damas, L., Reis, R., Azevedo, R.: The Yap Prolog User’s Manual. (2000) Available from http://www.ncc.up.pt/˜vsc/Yap.
16. Demoen, B., Nguyen, P.L.: So Many WAM Variations, So Little Time. In: Computational Logic 2000, Springer Verlag (2000) 1240-1254
17. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.: The Ciao Prolog System. Reference Manual (v1.8). The Ciao System Documentation Series-TR CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM) (2002) System and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/.
18. Puebla, G., Hermenegildo, M.: Abstract Specialization and its Applications. In: ACM Partial Evaluation and Semantics based Program Manipulation (PEPM’03), ACM Press (2003) 29-43 Invited talk.
19. Winsborough, W.: Multiple Specialization using Minimal-Function Graph Semantics. Journal of Logic Programming 13 (1992) 259-290
20. Ferreira, M., Damas, L.: Multiple Specialization of WAM Code. In: Practical Aspects of Declarative Languages. Number 1551 in LNCS, Springer (1999)
21. Mills, J.: A high-performance low risc machine for logic programming. Journal of Logic Programming (6) (1989) 179-212
22. Taylor, A.: LIPS on a MIPS: Results from a prolog compiler for a RISC. In: 1990 International Conference on Logic Programming, MIT Press (1990) 174-189
23. Hermenegildo, M., Greene, K.: The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing 9 (1991) 233-257
24. Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In Deransart, P., Hermenegildo, M., Maluszynski, J., eds.: Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS. Springer-Verlag (2000) 23-61
25. Hermenegildo, M., Puebla, G., Bueno, F., López-García, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: 10th International Static Analysis Symposium (SAS’03). Number 2694 in LNCS, Springer-Verlag (2003) 127-152
26. Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: International Conference on Computational Logic, CL2000. Number 1861 in LNAI, Springer-Verlag (2000) 131-148
27. Van Roy, P.: Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, Univ. of California Berkeley (1990) Report No. UCB/CSD 90/600.
28. Henderson, F., Somogyi, Z.: Compiling Mercury to High-Level C Code. In Nigel Horspool, R., ed.: Proceedings of Compiler Construction 2002. Volume 2304 of LNCS., Springer-Verlag (2002) 197-212
29. Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP 29 (1996)
30. Tarau, P., De Bosschere, K., Demoen, B.: Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. Journal of Logic Programming 29 (1996) 65-83