Philippe Codognet, Daniel Diaz  Home/Search
Context Related
| inria.fr/INRIA/Projects/con...iclp95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: loco.inria.fr/~dia...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, extensibility and modularity. Indeed the system does not incorporate complex optimizations but is as efficient as Quintus Prolog 2.5 (based on an emulator written in assembly language) and only 30 % slower than Sicstus Prolog (compiling to native code). It is instantly portable to any machine with a C compiler and easily... (Update)
Context of citations to this paper: More
.... extends the Warren Abstract Machine (WAM) 36] to compile into C code Prolog like programs describing problems over finite domains [13, 14]. In DecLIC, the WAM instruction set was modified and extended to take into account the processing of real constraints with hybrid...
Cited by: More
Improved Compilation of Prolog to C Using Moded Types and.. - Morales, Carro, al. (2004) (Correct)
Distributed OR Scheduling with Granularity - Information Patrcia Kayser (2000) (Correct)
Execucao de Prolog com Alto Desempenho - Lopes (1996) (Correct)
Similar documents (at the sentence level):
71.0%: wamcc: Compiling Prolog to C - Codognet, Diaz (1995) (Correct)
Active bibliography (related documents): More All
0.5: Analyzing Logic Programs with Dynamic Scheduling - Marriott, Banda, Hermenegildo (1994) (Correct)
0.4: Partial Translation: Towards a Portable and Efficient.. - Tarau, De Bosschere.. (1996) (Correct)
0.3: Multiple Specialization through Local Analysis - Ferreira, Damas (1998) (Correct)
Similar documents based on text: More All
0.7: Compiling Constraints in clp(FD) - Codognet, Diaz (1996) (Correct)
0.6: Boolean Constraint Solving Using clp(FD) - Codognet, Diaz (Correct)
0.5: clp(B): Combining Simplicity and Efficiency in Boolean.. - Codognet, Diaz (Correct)
Related documents from co-citation: More All
13: An abstract prolog instruction set (context) - Warren - 1983
4: an efficient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1996
4: jc: An Efficient and Portable Sequential Implementation of Janus - Gudeman, De Bosschere et al. - 1992
BibTeX entry: (Update)
Philippe Codognet and Daniel Diaz. wamcc: Compiling Prolog to C. In 12th International Conference on Logic Programming. The MIT Press, 1995. http://citeseer.ist.psu.edu/codognet95wamcc.html More
@inproceedings{ codognet95wamcc,
author = "Philippe Codognet and Daniel Diaz",
title = "{wamcc}: Compiling {P}rolog to {C}",
booktitle = "International Conference on Logic Programming",
pages = "317--331",
year = "1995",
url = "citeseer.ist.psu.edu/codognet95wamcc.html" }
Citations (may not include all citations):395 An Abstract Prolog Instruction Set (context) - Warren - 1983
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
20 High-Performance Logic Programming with the Aquarius Prolog .. (context) - Van Roy, Despain - 1992
6 Warren's Abstract Machine (context) - t-Kaci - 1991
5 A Comparison of some Schemes for Translating Logic to C - Demoen, Maris - 1994
4 Translator-Based Multiparadigm Programming - Levy, Horspool - 1993
3 A Portable and Ecient Implementation of KL (context) - Chikayama, Fujise et al. - 1994
3 Turbo Erlang: Approaching the Speed of C (context) - Haussman - 1994
3 Translating Prolog to C: a WAM Based Approach - Levy, Horspool - 1993
2 jc: An Ecient and Portable Sequential Implementation of Janu.. (context) - Gudeman, De Bosschere et al. - 1992
2 PhD dissertation (context) - Solla - 1994
1 The Power of Partial Translation: An Experiment with the C-i.. (context) - Tarau, Demoen et al. - 1995
1 A Continuation Based Prolog-To-C Mapping (context) - De Bosschere, Tarau - 1994
1 Marin Can Prolog Execute as Fast as Aquarius (context) - Demoen - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://loco.inria.fr/~diaz/publications.html): More
Yet Another Local Search Method for Constraint Solving - Codognet, Diaz (2001) (Correct)
Design and Implementation of the GNU Prolog System - Diaz, Codognet (2001) (Correct)
Compiling Constraints in clp(FD) - Codognet, Diaz (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC