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
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
487 An Abstract Prolog Instruction Set – David H D Warren - 1983
115 Programming Paradigms of the Andorra Kernel Language – Sverker Janson, Seif Haridi - 1991
89 The C Programming Language, 2 nd edition – B Kernighan, D Ritchie - 1988
32 Elementary logic programs – P Tarau, M Boyer - 1990
26 Turbo erlang: Approaching the speed of c – Bogumil Hausman - 1994
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
88 Garbage Collection in an Uncooperative Environment. Software - Practice and Experience – Hans-Juergen Boehm, Mark Weiser - 1988
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
35 wamcc: Compiling Prolog to C – Philippe Codognet, Daniel Diaz - 1995