C as a target for WAM-based Prolog compilation
M.R. Levy, R. Nigel Horspool · 2002
We present a method for translating Prolog to C using Warren's (1983) Abstract Machine (the WAM) as the target architecture. We show that the resultant code is competitive with conventional Prolog compilation techniques.