1986/12/01 by Jeff Gee, S. W. Melvin, Yale N. Patt · 1 citation
Computer Science · #Computational Physics and Python Applications #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
paper · doi:10.1145/19551.19538
openalex publication_date 1986/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
We have implemented a high performance Prolog engine by directly executing in microcode the constructs of Warren's Abstract Machine. The implementation vehicle is the VAX 8600 computer. The VAX 8600 is a general purpose processor containing 8K words of writable control store. In our system, each of the Warren Abstract Machine instructions is implemented as a VAX 8600 machine level instruction. Other Prolog built-ins are either implemented directly in microcode or executed by the general VAX instruction set. Initial results indicate that our system is the fastest implementation of Prolog on a commercially available general purpose processor.