Prolog on a RISC. Implementation and evaluation

Euromicro symposium on microprocessing and microprogrammingInternational audienceThis paper discusses about the compilation of Prolog on a RISC processor. This is part of the Symbion project, which aims at designing the basic processing element for modular parallel symbolic machines. The compiler is based on a variant of the WAM. First, some results are presented with respect to the emulation of the abstract machine. Then, we comment on the code generation on a RISC processor (the MIPS), and give some results obtained from the execution of Prolog programs on a MIPS emulator. The performances obtained on a 20 MHz clocked MIPS are close to the performances of WAM-based Prolog machines