Compiling Prolog with a C compiler
Andrea Domenici · CINECA IRIS Institutial research information system (University of Pisa) · 1989
Prolog programs can be compiled in two steps: a Prolog compiler translates them into an intermediate language based on the Warren Abstract Machine instruction set, and a C compiler macro-expands the intermediate language into C statements that are then compiled to the host machine language. The method affords rapid development of a very flexible tool for experimentation in Prolog implementations.