Partial translation: Towards a portable and efficient prolog implementation technology

Journal of Logic Programming

Volumn 29, Issue 1-3, 1996, Pages 65-83

  Tarau, Paul ^c   De Bosschere, Koen ^a   Demoen, Bart ^b  

^a GHENT UNIVERSITY   (Belgium)

^b UNIVERSITY OF LEUVEN   (Belgium)

^c UNIVERSITÉ DE MONCTON   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE PORTABILITY; PROGRAM COMPILERS; PROLOG (PROGRAMMING LANGUAGE);

BINARY PROLOG; PARTIAL TRANSLATION;

PROGRAM TRANSLATORS;

EID: 0030260006     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00063-5     Document Type: Article

References (26)

1. Bell, J., Threaded Code, Commun. ACM 16:370-372 (June 1973).
2. Brisset, P. and Ridoux, O., The Compilation of λProlog and Its Execution with MALI, Technical Report 687, IRISA, 1992, ftp://ftp.irisa.fr/local/lande.
3. Brisset, P. and Ridoux, O., The Architecture of an Implementation of λProlog: Prolog/Mali, in: K. De Bosschere, B. Demoen, and P. Tarau (eds.), ILPS'94 Workshop on Implementation Techniques for Logic Programming Languages, 1994, ftp://ftp.irisa.fr/local/pm.
4. Cheyers, A., personal communication, Apr. 1993.
5. Chikayama, T., Fujise, T., and Sekita, D., A Portable and Efficient Implementation of KL1, in: Proc. Programming Language Implementation and Logic Programming, Lecture Notes in Computer Science, Springer, Sept. 1994.
6. Codognet, P. and Diaz, D., Compiling Prolog to C: The WAMCC System, in: Proc. 12th Int. Conf. on Logic Programming, Yokohama, Japan, MIT Press, 1995.
7. De Bosschere, K., Debray, S., Gudeman, D., and Kannan, S., Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages, in: Proc. 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), Portland, OR, ACM, Jan. 1994, pp. 409-420.
8. De Bosschere, K. and Jacquet, J.-M., Multi-Prolog: Definition, Operational Semantics and Implementation, in: Proc. ICLP'93 Conf., Budapest, Hungary, 1993.
9. De Bosschere, K. and Tarau, P., High Performance Continuation Passing Style Prolog-to-C Mapping, in: E. Deaton, D. Oppenheim, J. Urban, and H. Berghel (eds.), Proc. 1994 ACM Symp. on Applied Computing, Phoenix, AZ, ACM Press, Mar. 1994, pp. 383-387.
10. De Bosschere, K. and Tarau, P., Blackboard-Based Extensions in Prolog, Software - Practice and Experience 26(1):49-69 (Jan. 1996).
11. Debray, S., De Bosschere, K., and Gudeman, D., Call Forwarding: A Simple Low-Level Code Optimization Technique, in: E. Tick and G. Succi (eds.), Implementations of Logic Programming Systems, Kluwer Academic, 1994, pp. 77-88.
12. Demoen, B. and Mariën, A., Implementation of Prolog as Binary Definite Programs, in: A. Voronkov (ed.), Logic Programming, RCLP Proc., no. 592 in Lecture Notes in Artificial Intelligence, Berlin, Heidelberg, Springer-Verlag, 1992, pp. 165-176.
13. Demoen, B. and Maris, G., A Comparison of Some Schemes for Translating Logic to C, Technical Report 188, K.U. Leuven, Mar. 1994. Presented at the Workshop on Parallel and Data Parallel Execution of Logic Programs, ICLP94.
14. Diaz, D. and Codognet, P., A Minimal Extension of the WAM for clp(FD), in: D. S. Warren (ed.), Proc. 10th Int. Conf. on Logic Programming, Budapest, Hungary, MIT Press, 1993, pp. 774-790.
15. Gudeman, D., De Bosschere, K., and Debray, S., jc: An Efficient and Portable Sequential Implementation of Janus, in: K. Apt (ed.), Joint International Conf. and Symp. on Logic Programming, Washington, DC, MIT Press, Nov. 1992, pp. 399-413.
16. Hausman, B., Turbo Erlang: Approaching the Speed of C, in: Implementations of Logic Programming Systems, Kluwer Academic, 1994, pp. 119-135.
17. Horspool, R. and Levy, M., Translator-Based Multiparadigm Programming, J. Systems and Software 25(1):39-49 (1993).
18. Magnusson, P., Partial Translation, Technical Report 05, SICS, 1993.
19. Ridoux, O., MALIv06: Tutorial and Reference Manual, Publication Interne 611, IRISA, 1991, ftp://ftp.irisa.fr/local/lande.
20. Tarau, P., A Simplified Abstract Machine for the Execution of Binary Metaprograms, in: Proc. Logic Programming Conf.'91, ICOT, Tokyo, 1991, pp. 119-128.
21. Tarau, P., Program Transformations and WAM-Support for the Compilation of Definite Metaprograms, in: A. Voronkov (ed.), Logic Programming, RCLP Proc., no. 592 in Lecture Notes in Artificial Intelligence, Berlin, Heidelberg, Springer-Verlag, 1992, pp. 462-473.
22. Tarau, P., Low Level Issues in Implementing a High-Performance Continuation Passing Binary Prolog Engine, in: M.-M. Corsini (ed.), Proc. JFPL'94, June 1994.
23. Tarau, P., BinProlog 3.30 User Guide, Technical Report 95-1, Département d'Informatique, Université de Moncton, Feb. 1995. Available by ftp from clement.info. umoncton.ca.
24. Tarau, P. and Boyer, M., Elementary Logic Programs, in: P. Deransart and J. Małuszyński (eds.), Proc. Programming Language Implementation and Logic Programming, no. 456 in Lecture Notes in Computer Science, Springer, Aug. 1990, pp. 159-173.
25. Tarau, P. and Neumerkel, U., A Novel Term Compression Scheme and Data Representation in the BinWAM, in: J. P. M. Hermeneguildo (ed.), Proc. Programming Language Implementation and Logic Programming, Lecture Notes in Computer Science 844, Springer, Sept. 1994, pp. 73-87.
26. Roy, P. Van., Issues in Implementing Logic Languages, Technical Report, WWW Hypertext Document, 1994, http://ps-www.dfki.uni-sb.de/vanroy.