Optimisations of A WAM-Based Prolog Compiler

The design and implementation of a Prolog compiler based on WAM is introduced, which is highly-optimized and covers the full Prolog. The system provides a basis for extension towards parallel logic programming and constraint logic programming.This system can evaluate arithmetic expressions efficiently and supports various predefined predicates, and the robustness and flexibility are also satisfactory. Trial runnings show that the interpretation of the compiled WAM code is 7-8 bines faster than BPU-Prolog, an interpreted system we have developed before,and better than the international Prolog compiling system, SWI-Prolog.