论文信息 - C as a target for WAM-based Prolog compilation

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.

R. N. Horspool | M. R. Levy

[1] Joanne L. Boyd,et al. Prolog in ‘C’ , 1990, SIGP.

[2] Andrew K. Turk. Compiler Optimizations for the WAM , 1986, ICLP.

[3] R. N. Horspool,et al. Translator-based multiparadigm programming : Language processing , 1993 .

[4] Andrew K. Turk Logic. Compiler optimizations for the WAM , 1986, ICLP 1986.

[5] R. Nigel Horspool,et al. Translator-based multiparadigm programming , 1993, J. Syst. Softw..

[6] S. Ramakrishnan,et al. A piggy-back compiler for Prolog , 1988, PLDI '88.