C as a target for WAM-based Prolog compilation

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.