wamcc: Compiling Prolog to C (1995)

Cached

Download Links

by Philippe Codognet , Daniel Diaz
Venue:IN 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
Citations:35 - 5 self

Active Bibliography

49 1983--1993: The Wonder Years of Sequential Prolog Implementation – Peter Van Roy - 1993
8 clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving – Philippe Codognet, Daniel Diaz - 1994
3 Optimizing the SICStus Prolog virtual machine instruction set – Henrik Nässén - 2001
2 Combining an improvement to PARMA trailing with analysis in HAL – Tom Schrijvers - 2002
2 Combining an Improvement to PARMA Trailing with Trailing Analysis – Tom Schrijvers, Bart Demoen - 2002
10 GNU Prolog: beyond compiling Prolog to C – Daniel Diaz, Philippe Codognet
35 Design and Implementation of the GNU Prolog System – Daniel Diaz, Philippe Codognet - 2001
4 Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology – Paul Tarau, Koen De Bosschere, Bart Demoen - 1996
Multiple Specialization through Local Analysis – Michel Ferreira, Luís Damas, Michel Ferreira - 1998
4 A comparison of some schemes for translating logic to C. – Bart Demoen, Greet Maris - 1994
3 Translating Prolog to C: a WAM-based approach – M. R. Levy, R.N. Horspool - 1993
5 BinProlog 7.0 Professional Edition - Advanced BinProlog Programming and Extensions Guide – Paul Tarau - 1999
3 BinProlog 4.00 User Guide – Paul Tarau, Bindir /usr/local/bin - 1995
3 A Generic Software Framework For Finite Domain Constraint Programming – Ka Boon Kevin Ng - 2001
1 Programming Data Structures In Logic – Russell Turpin - 1992
2 Trailing Analysis for HAL – Tom Schrijvers, Maria García de la Banda, Bart Demoen - 2002
2 Performance Comparison between Conventional and Logic Programming Systems – Vanusa Menditi Calegario, Inês de Castro Dutra - 1998
Trying Out Alternatives for Type Class Support in a new back end for HAL – Bart Demoen, María García de la Banda, Peter J. Stuckey
1 Implementing Concurrent Logic and Functional Languages in Dactl – George A. Papadopoulos - 1997