Translating Prolog to C: a WAM-based approach (1993)

Cached

Download Links

by M. R. Levy , R.N. Horspool
Venue:In Proceedings of the Second Compulog Network Area Meeting on Programming Languages, and the Workshop on Logic Languages
Citations:2 - 0 self

Documents Related by Co-Citation

22 jc: An Efficient and Portable Sequential Implementation of Janus – David Gudeman , Koenraad De Bosschere, Saumya K. Debray - 1992
23 A Portable and Efficient Implementation of KL1 – T Chikayama, T Fujise, D Sekita - 1994
11 Using and Porting GNU – R M Stallman - 1990
2 A Continuation Based Prolog-To-C Mapping – K De Bosschere, P Tarau - 1994
26 Turbo Erlang: Approaching the speed of C – Bogumil Hausman - 1994
29 Elementary logic programs – P Tarau, M Boyer - 1990
8 A Parallel implementation for AKL – R Moolenaar, B Demoen - 1993
95 Can Logic Programming Execute as Fast as Imperative Programming? [References] – Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic - 1990
80 The C Programming Language, 2nd Edition – Brian W Kernighan, Dennis M Ritchie - 1988
115 Programming Paradigms of the Andorra Kernel Language – Sverker Janson, Seif Haridi - 1991
473 An Abstract Prolog instruction set – D H D Warren - 1983
8 A piggy-back compiler for Prolog – J L Weiner, S Ramakrishnan - 1988
2 Carpe diem, some implementation aspects of Turbo Erlang – B Hausman - 1993
1 Using and porting the GNU CC compiler. The Free Software Foundation – R Stallman - 1989
13 Code generation for Mercury – Thomas Conway, Fergus Henderson, Zoltan Somogyi - 1995
7 On the compilation of a domain-based Prolog – J F Nilsson - 1983
83 Garbage collection in an uncooperative environment. Software—Practice and experience – Hans Boehm, Mark Weiser - 1988
54 The implementation of the Gofer functional programming system – Mark P. Jones - 1994
34 wamcc: Compiling Prolog to C – Philippe Codognet, Daniel Diaz - 1995