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:3 - 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
8 A Parallel implementation for AKL – R Moolenaar, B Demoen - 1993
26 Turbo erlang: Approaching the speed of C – B Hausman - 1994
116 Programming Paradigms of the Andorra Kernel Language – Sverker Janson, Seif Haridi - 1991
32 Elementary Logic Programs – P Tarau, M Boyer - 1990
97 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
491 An Abstract Prolog Instruction Set – D H D Warren - 1983
90 The C Programming Language. 2nd edition – Brian W Kernighan, Dennis M Ritchie - 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
9 A piggy-back compiler for Prolog – J L Weiner, S Ramakrishnan - 1988
36 wamcc: Compiling Prolog to C – Philippe Codognet, Daniel Diaz - 1995
88 Garbage Collection in an Uncooperative Environment. Software - Practice and Experience – Hans-Juergen Boehm, Mark Weiser - 1988
62 The implementation of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi , Fergus James Henderson, Thomas Charles Conway - 1995