Translating Prolog, WAM, ... to C

1988

• J. L. Weiner, S. Ramakrishnan: A Piggy-back Compiler For Prolog. PLDI 1988: 288-296

1991

• Olivier Ridoux: MALIv06: Tutorial and Reference Manual. IRISA, Rennes, France, Technical Report 611, 1991, PostScript

1992

• P. Brisset, Olivier Ridoux: The Compilation of Lambda-Prolog and its execution with MALI. IRISA, Rennes, France, Technical Report 687, 1992, Postscript
• David Gudeman, Koenraad De Bosschere, Saumya K. Debray: jc: An Efficient and Portable Sequential Implementation of Janus. JICSLP 1992: 399-413

1993

• Koen De Bosschere, Paul Tarau: A Continuation Based Prolog-to-C Mapping. TR 93-2, Université de Moncton, Canada, 1993
• Bogumil Hausman: Turbo Erlang: Approaching the Speed of C. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 119-135
• R. Nigel Horspool, Michael R. Levy: Translator-Based Multiparadigm Programming. Journal of Systems and Software 25(1): 39-49 (1993), Postscript
• Michael R. Levy, R. N. Horspool: Translating Prolog to C: a WAM-based approach. Compulog Area Meeting on Programming Languages, Pisa 1993, Postscript

1994

• Takashi Chikayama, Tetsuro Fujise, Daigo Sekita: A Portable and Efficient Implementation of KL1. PLILP 1994: 25-39
• Anatholy F. Dedkov, Douglas J. Eadline: Design and Implementation of a Prolog-to-C Compiler. ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0-
• Bart Demoen, Greet Maris: A Comparison of Some Schemes for Translating Logic to C. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 79-91
• Zoltan Somogyi, Fergus Henderson, Thomas Conway: The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0-
• Paul Tarau, Bart Demoen, Koen De Bosschere: The Power of Partial Translation: an Experiment with the C-ification of Binary Prolog. Second COMPULOG-NET Workshop and Area Meeting on Parallelism and Implementation Technology, Madrid , Spain, September 17, 1994, Postscript, and Proceedings of the 1995 ACM Symposium on Applied Computing, February 26-28, 1995, Nashville, Tennessee
• Peter Van Roy: Issues in Implementing Logic Languages, May 1994, Ecole de Printemps, Chatillon sur Seine.

1995

• Philippe Codognet, Daniel Diaz: WAMCC: Compiling Prolog to C. ICLP 1995: 317-331

Related Topics

• Translating Prolog, WAM, ... to Native Code

Last update Sat May 26 03:32:11 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page